term rewriting systems / typical applications / constraint systems / software verification / /
Organization
Cambridge University / Applied Artificial Intelligence / /
Person
Chunsheng Yang / Dieter Hofbauer / David Peleg / Robert Orchard / Bernhard Rumpe / Anca Muscholl / Peter Schneider-Kamp / René Thiemann / Masahito Kurihara / Jan van Leeuwen / Michael Codish / Alexander Bau / Harald Zankl / Christian Sternagel / Jürgen Giesl / Simon Peyton Jones / Moonis Ali / Aart Middeldorp / Hisashi Kondo / Jaroslav Pokorný / Yoshihito Toyama / Johannes Waldmann / /
Position
editor / programmer / /
ProgrammingLanguage
Haskell / K / /
PublishedMedium
Lecture Notes in Computer Science / /
Technology
artificial intelligence / Davis-Putname-Logemann-Loveland algorithm / dom / /
Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de