University of Hertfordshire

By the same authors

A BDD-Representation for the Logic of Equality and Uninterpreted Functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 2005
Subtitle of host publication30th International Symposium
EditorsJoanna Jedrzejowicz, Andrzej Szepietowski
PublisherSpringer
Pages769-780
ISBN (Print)978-3-540-28702-5
Publication statusPublished - 2005
EventMathematical Foundations of Computer Science 2005, 30th Int Symposium - Gdansk, Poland
Duration: 29 Aug 20052 Sep 2005

Publication series

NameLecture Notes in Computer Science
Volume3618

Conference

ConferenceMathematical Foundations of Computer Science 2005, 30th Int Symposium
CountryPoland
CityGdansk
Period29/08/052/09/05

ID: 1302936