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
June, 2003
Universidad Politechnica de Valencia
ISBN 84-96221-00-8

Deposito Legal: V-2404-2003

BibTEX file for the publication built & maintained by Ashok Argent-Katwala.