skip to main content
Lingue:
Mostra solo
Filtrati per: Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
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

3
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

4
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

5
Extending ALCQIO with Trees
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with Trees

Kotek, Tomer ; Imkus, Mantas ; Veith, Helmut ; Zuleger, Florian

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015-07, p.511-522

Fulltext disponibile

6
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

7
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

8
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

9
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

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (6)

Ricerca in corso nelle risorse remote ...