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

Risutati 1 - 10 di 18  per Ricerca globale

Risultati 1 2 next page
Mostra solo
Filtrati per: Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Interpolation in fuzzy logic
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Interpolation in fuzzy logic

Baaz, Matthias ; Veith, Helmut

Archive for mathematical logic, 1999-10, Vol.38 (7), p.461-489 [Rivista Peer Reviewed]

Fulltext disponibile

2
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

3
Complexity of t-tautologies
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity of t-tautologies

Baaz, Matthias ; Hájek, Petr ; Montagna, Franco ; Veith, Helmut

Annals of pure and applied logic, 2001, Vol.113 (1), p.3-11 [Rivista Peer Reviewed]

Fulltext disponibile

4
Succinctness as a source of complexity in logical formalisms
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Succinctness as a source of complexity in logical formalisms

Gottlob, Georg ; Leone, Nicola ; Veith, Helmut

Annals of pure and applied logic, 1999, Vol.97 (1), p.231-260 [Rivista Peer Reviewed]

Fulltext disponibile

5
Deterministic CTL query solving
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Deterministic CTL query solving

Samer, M ; Veith, H

12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005, p.156-165

Fulltext disponibile

6
Definability and Interpolation within Decidable Fixpoint Logics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Definability and Interpolation within Decidable Fixpoint Logics

Benedikt, Michael ; Bourhis, Pierre ; Boom, Michael Vanden

Logical methods in computer science, 2019, Vol.15 (3), p.Issue 3 ; 1860-5974 [Rivista Peer Reviewed]

Fulltext disponibile

7
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

8
Abstract Model Repair
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Abstract Model Repair

Chatzieleftheriou, George ; Bonakdarpour, Borzoo ; Katsaros, Panagiotis ; Smolka, Scott ; Kupferman, Orna

Logical methods in computer science, 2015-09-17, Vol.11 (3) [Rivista Peer Reviewed]

Fulltext disponibile

9
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

10
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

Risutati 1 - 10 di 18  per Ricerca globale

Risultati 1 2 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (15)

Ricerca in corso nelle risorse remote ...