Computing Publications

Publications Home » A Prefix Notation and Unification...

A Prefix Notation and Unification Algorithm for Encoding Modal Logics

Adrian Williams, Jim Cunningham

Conference or Workshop Paper
Proceedings of RDP UNIF03 17th International Workshop on Unification, U.P. Valencia, Spain, 2003
DSIC-II/12/03
pp.81–92
June, 2003
Universidad Politechnica de Valencia
ISBN 84-96221-00-8
Notes

Deposito Legal: V-2404-2003

BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.