Summary: Link˜oping Electronic Articles in
Computer and Information Science
Vol. n(2001): nr nn
Link˜oping University Electronic Press
Link˜oping, Sweden
http://www.ep.liu.se/ea/cis/2001/nnn/
Object­Oriented
First­Order Logic
Eyal Amir
Department of Computer Science,
Stanford University,
Stanford, CA 94305­9020, USA
eyal.amir@cs.stanford.edu,

Published on February 13, 2001 by
Link˜ oping University Electronic Press
581 83 Link˜ oping, Sweden
Link˜ oping Electronic Articles in
Computer and Information Science
ISSN 1401­9841

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences