Open AccessRewriting Logic and Its Applications
Author(s) -
Dorel Lucanu
Publication year - 2016
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/978-3-319-44802-2
Subject(s) - rewriting , computer science , programming language , logic program , theoretical computer science , logic programming
s of Invited Talks All Strings Attached: String and Sequence Constraints in Z3
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