Open AccessEquational and membership constraints for infinite trees
Author(s) -
Joachim Niehren,
Andreas Podelski,
Ralf Treinen
Publication year - 1993
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-56868-9_9
Subject(s) - logical consequence , satisfiability , constraint (computer aided design) , set (abstract data type) , mathematics , constraint satisfaction problem , computer science , constraint programming , theoretical computer science , constraint logic programming , algorithm , discrete mathematics , programming language , mathematical optimization , artificial intelligence , geometry , probabilistic logic , stochastic programming
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom