Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Translating the Object Constraint Language into First-order Predicate Logic

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Uwe Keller und Peter H. Schmitt
In:VERIFY Workshop (VERIFY 2002) at FLoC 2002: Federated Logic Conferences
Jahr:2002

Anmerkung

Available at i12www.ira.uka.de/~key/doc/2002/BeckertKellerSchmitt02.ps.gz

BibTeX

@inproceedings{BeckertKellerSchmitt02,
  author = {Bernhard Beckert and Uwe Keller and Peter H. Schmitt},
  title = {Translating the {O}bject {C}onstraint {L}anguage into First-order
           Predicate Logic},
  booktitle = {{VERIFY} Workshop ({VERIFY} 2002) at {FLoC} 2002: Federated Logic
   	       Conferences},
  place = {Copenhagen, Denmark},
  year = {2002},
  note = {Available at
		  \url{i12www.ira.uka.de/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}