Translating the Object Constraint Language into First-order Predicate Logic

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Uwe Keller, and Peter H. Schmitt
In:VERIFY Workshop (VERIFY 2002) at FLoC 2002: Federated Logic Conferences
Year:2002

Note

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},
  venue = {Copenhagen, Denmark},
  year = {2002},
  note = {Available at
		  \url{i12www.ira.uka.de/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}