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 , 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.otherPURE: 1302936
dc.identifier.otherPURE UUID: 26f527ea-b22d-4962-8487-48f16672dd2d
dc.identifier.otherScopus: 26844477205
dc.identifier.urihttp://hdl.handle.net/2299/15196
dc.language.isoeng
dc.publisherSpringer Nature
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
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