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
Filtrati per: Titolo della rivista: Proceedings - Symposium on Logic in Computer Science rimuovi Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

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

Ricerca in corso nelle risorse remote ...