Ultimate TreeAutomizer (CHC-COMP tool description)

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning : Prague. - Waterloo, NSW, 2019. - 42-47, DOI: 10.4204/EPTCS.296
Electronic proceedings in theoretical computer science : EPTCS. - 296 (2019) , 42–47, ISSN: 2075-2180

Ereignis
Veröffentlichung
(wo)
Freiburg
(wer)
Universität
(wann)
2021
Urheber

DOI
10.4204/EPTCS.296.7
URN
urn:nbn:de:bsz:25-freidok-1762487
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:53 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2021

Ähnliche Objekte (12)

Frontier : the definitive guide ; [the ultimate Macintosh productivity tool]

Frontier : the definitive guide ; [the ultimate Macintosh productivity tool]

Local tree description grammars

Local tree description grammars

Ultimate taipan and race detection in ultimate

Ultimate taipan and race detection in ultimate

Ultimate Origins

Comic

Ultimate Origins

Ultimate fallout

Comic

Ultimate fallout

Ultimate Captain America

Comic

Ultimate Captain America

Ultimate shop design

Bildband

Ultimate shop design

"The ULTiMATe"

Graffiti | Streetart

"The ULTiMATe"

Ultimate London design

Bildband

Ultimate London design

Ultimate restaurant design

Bildband

Ultimate restaurant design

Ultimate X-men

Ultimate X-men

The ultimate collection

Bildband | Führer

The ultimate collection

Verbundene Objekte