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

Jaco  van de Pol; Olga Tveretina

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

School of Physics, Engineering & Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 2005
Subtitle of host publication	30th International Symposium
Editors	Joanna Jedrzejowicz, Andrzej Szepietowski
Publisher	Springer Nature
Pages	769-780
ISBN (Print)	978-3-540-28702-5
Publication status	Published - 2005
Event	Mathematical Foundations of Computer Science 2005, 30th Int Symposium - Gdansk, Poland Duration: 29 Aug 2005 → 2 Sept 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3618

Conference

Conference	Mathematical Foundations of Computer Science 2005, 30th Int Symposium
Country/Territory	Poland
City	Gdansk
Period	29/08/05 → 2/09/05

Cite this

@inproceedings{26f527eab22d4962848748f16672dd2d,

title = "A BDD-Representation for the Logic of Equality and Uninterpreted Functions",

author = "{van de Pol}, Jaco and Olga Tveretina",

year = "2005",

language = "English",

isbn = "978-3-540-28702-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "769--780",

editor = "Joanna Jedrzejowicz and Andrzej Szepietowski",

booktitle = "Mathematical Foundations of Computer Science 2005",

address = "Netherlands",

note = "Mathematical Foundations of Computer Science 2005, 30th Int Symposium ; Conference date: 29-08-2005 Through 02-09-2005",

}

van 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.

A BDD-Representation for the Logic of Equality and Uninterpreted Functions. / van de Pol, Jaco ; Tveretina, Olga.
Mathematical Foundations of Computer Science 2005: 30th International Symposium. ed. / Joanna Jedrzejowicz; Andrzej Szepietowski. Springer Nature, 2005. p. 769-780 (Lecture Notes in Computer Science; Vol. 3618).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - van de Pol, Jaco

AU - Tveretina, Olga

PY - 2005

Y1 - 2005

M3 - Conference contribution

SN - 978-3-540-28702-5

T3 - Lecture Notes in Computer Science

SP - 769

EP - 780

BT - Mathematical Foundations of Computer Science 2005

A2 - Jedrzejowicz, Joanna

A2 - Szepietowski, Andrzej

PB - Springer Nature

T2 - Mathematical Foundations of Computer Science 2005, 30th Int Symposium

Y2 - 29 August 2005 through 2 September 2005

ER -