The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Vincent Lombart

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Paper in Conference Proceedings

PP874 1995 Paper in Conference Proceedings Bundy,A; Lombart,V
Relational Rippling: a General Approach
PP863 1994 Paper in Conference Proceedings Lombart,V; Wiggins,G; Deville,Y
Guiding Synthesis Proofs
PP620 1993 Paper in Conference Proceedings Wiggins,G; Lombart,V; Deville,Y
Guiding Synthesis Proofs

Research Paper

RP725 1994 Research Paper Lombart,V; Deville,Y
Rippling on Relational Structures

[Search These Pages] [DAI Home Page] [Comment]