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 15  per Ricerca globale

Risultati 1 2 next page
Filtrati per: Tipo di risorsa: Articoli rimuovi Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the complexity of data disjunctions
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the complexity of data disjunctions

Eiter, Thomas ; Veith, Helmut

Theoretical computer science, 2002, Vol.288 (1), p.101-128 [Rivista Peer Reviewed]

Fulltext disponibile

2
An Iterative Framework for Simulation Conformance
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

An Iterative Framework for Simulation Conformance

Chaki, Sagar ; Clarke, Edmund ; Jha, Somesh ; Veith, Helmut

Journal of logic and computation, 2005-08-01, Vol.15 (4), p.465-488 [Rivista Peer Reviewed]

Fulltext disponibile

3
Bit-Precise Procedure-Modular Termination Analysis
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Bit-Precise Procedure-Modular Termination Analysis

Chen, Hong-Yi ; David, Cristina ; Kroening, Daniel ; Schrammel, Peter ; Wachter, Björn

ACM Transactions on Programming Languages and Systems (TOPLAS), 2018-01-12, Vol.40 (1), p.1-38 [Rivista Peer Reviewed]

Fulltext disponibile

4
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

5
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

6
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

7
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Platzer, Andre ; Veith, Helmut

Logical methods in computer science, 2012-11-26, Vol.8 (4) [Rivista Peer Reviewed]

Fulltext disponibile

8
Environment and classical channels in categorical quantum mechanics
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Environment and classical channels in categorical quantum mechanics

Coecke, Bob ; Perdrix, Simon ; Veith, Helmut

Logical methods in computer science, 2012, Vol.8 (4) [Rivista Peer Reviewed]

Fulltext disponibile

9
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

10
Generic Fibrational Induction
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Generic Fibrational Induction

Ghani, Neil ; Johann, Patricia ; Fumex, Clement ; Veith, Helmut

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

Fulltext disponibile

Risutati 1 - 10 di 15  per Ricerca globale

Risultati 1 2 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Ricerca in corso nelle risorse remote ...