Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lisitsa, Alexei - Department of Computer Science, University of Liverpool
Membership and Reachability Problems for Row-monomial Transformations
Temporal logic with predicate -abstraction.
Monodic ASMs and Temporal Verification Michael Fisher and Alexei Lisitsa
Searching for Invariants Using Temporal Resolution James Brotherston1
Linear Ordering on Graphs, AntiFounded Sets and Polynomial Time Computability ?
