Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Bisimilarity in Term Graph Rewriting \Lambda Zena M. Ariola
 

Summary: Bisimilarity in Term Graph Rewriting \Lambda
Zena M. Ariola
Computer and Information Science Department,
University of Oregon, Eugene, Oregon 97401, USA
ariola@cs.uoregon.edu
Jan Willem Klop
Department of Mathematics and Computer Science,
Vrije Universiteit, 1081 HV Amsterdam, The Netherlands, and
Computing Science Institute, Katholieke Universiteit Nijmegen,
Postbus 9010, 6500 GL Nijmegen, The Netherlands
jwk@cs.vu.nl
Detlef Plump y
Fachbereich Mathematik und Informatik,
Universitšat Bremen, Postfach 33 04 40, 28334 Bremen, Germany
det@informatik.uni­bremen.de
\Lambda This paper is a revised and extended version of [AKP97].
y Part of the research of this author was performed while he was on leave at CWI,
Amsterdam, by a grant of the HCM network EXPRESS.
1

  

Source: Ariola, Zena M. - Department of Computer and Information Science, University of Oregon

 

Collections: Computer Technologies and Information Sciences