skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostra solo
Filtrati per: Argomento: Computer Science rimuovi Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tree-like counterexamples in model checking
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Tree-like counterexamples in model checking

Clarke, E ; Jha, S ; Yuan Lu ; Veith, H

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002, p.19-29

Fulltext disponibile

2
Representing strategic games and their equilibria in many-valued logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Representing strategic games and their equilibria in many-valued logics

Běhounek, Libor ; Cintula, Petr ; Fermüller, Chris ; Kroupa, Tomáš

Logic journal of the IGPL, 2016-06, Vol.24 (3), p.238-267 [Rivista Peer Reviewed]

Fulltext disponibile

3
Global Numerical Constraints on Trees
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Global Numerical Constraints on Trees

Barcenas, Everardo ; Lavalle, Jesus ; Lenzerini, Maurizio

Logical methods in computer science, 2014-06-16, Vol.10 (2) [Rivista Peer Reviewed]

Fulltext disponibile

4
Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy

Haase, Christoph

Fulltext disponibile

5
Two-variable Logic with Counting and a Linear Order
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Two-variable Logic with Counting and a Linear Order

Charatonik, Witold ; Witkowski, Piotr ; Grädel, Erich

Logical methods in computer science, 2016-06-23, Vol.12 (2) [Rivista Peer Reviewed]

Fulltext disponibile

6
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Untyping Typed Algebras and Colouring Cyclic Linear Logic

Pous, Damien ; Veith, Helmut ; Pous, Damien

Logical methods in computer science, 2012-06-20, Vol.8 (2) [Rivista Peer Reviewed]

Fulltext disponibile

7
Keeping logic in the trivium of computer science: a teaching perspective
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Keeping logic in the trivium of computer science: a teaching perspective

Makowsky, J A ; Zamansky, A ; Weissenbacher, Georg ; Gottlob, Georg ; Henzinger, Thomas A

Formal Methods in System Design, 2017-11, Vol.51 (2), p.419-430 [Rivista Peer Reviewed]

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (5)

Ricerca in corso nelle risorse remote ...