Browse by Discipline
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 ?
Website Policies/Important Links