Show simple item record

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

dc.contributor.authorvan de Pol, Jaco
dc.contributor.authorTveretina, Olga
dc.contributor.editorJedrzejowicz, Joanna
dc.contributor.editorSzepietowski, Andrzej
dc.date.accessioned2015-01-14T09:32:38Z
dc.date.available2015-01-14T09:32:38Z
dc.date.issued2005
dc.identifier.citationvan de Pol , J & Tveretina , O 2005 , A BDD-Representation for the Logic of Equality and Uninterpreted Functions . in J Jedrzejowicz & A Szepietowski (eds) , Mathematical Foundations of Computer Science 2005 : 30th International Symposium . Lecture Notes in Computer Science , vol. 3618 , Springer Nature Link , pp. 769-780 , Mathematical Foundations of Computer Science 2005, 30th Int Symposium , Gdansk , Poland , 29/08/05 .
dc.identifier.citationconference
dc.identifier.isbn978-3-540-28702-5
dc.identifier.urihttp://hdl.handle.net/2299/15196
dc.language.isoeng
dc.publisherSpringer Nature Link
dc.relation.ispartofMathematical Foundations of Computer Science 2005
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.titleA BDD-Representation for the Logic of Equality and Uninterpreted Functionsen
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionBiocomputation Research Group
dc.contributor.institutionDepartment of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record