Ultimate TreeAutomizer (CHC-COMP tool description)

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
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

Event
Veröffentlichung
(where)
Freiburg
(who)
Universität
(when)
2021
Creator

DOI
10.4204/EPTCS.296.7
URN
urn:nbn:de:bsz:25-freidok-1762487
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:53 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 2021

Other Objects (12)

Local tree description grammars

Local tree description grammars

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

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

Ultimate taipan and race detection in ultimate

Ultimate taipan and race detection in ultimate

Ultimate Origins

Comic

Ultimate Origins

Ultimate fallout

Comic

Ultimate fallout

Tree description grammars and underspecified representations

Hochschulschrift | Online-Publikation

Tree description grammars and underspecified representations

Tree description grammars and underspecified representations

Hochschulschrift

Tree description grammars and underspecified representations

"The ULTiMATe"

Graffiti | Streetart

"The ULTiMATe"

Ultimate X-men

Ultimate X-men

Ultimate Paris design

Bildband

Ultimate Paris design

The ultimate collection

Bildband | Führer

The ultimate collection

Ultimate muscle car

Bildband

Ultimate muscle car

Related objects