Efficient Well-Definedness Checking

Thumbnail
Metadata only
Author
Darvas, Ádám
Mehta, Farhad
Rudich, Arsenii
Date
2008
Type
    Conference Paper
Publication status
published
External links
Book title
Automated reasoning : 4th international joint conference : proceedings / IJCAR 2008, Sydney, Australia, August 12-15, 2008
Journal / series
Lecture Notes in Computer Science
Volume
5195
Pages / Article No.
100 - 115
Publisher
Springer
Event
4th international joint conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, August 12-15, 2008
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics