No Cover Image

Journal article 1007 views

DP lower bounds for equivalence-checking and model-checking of one-counter automata

Petr Jančar, Antonı́n Kučera, Faron Moller Orcid Logo, Zdeněk Sawa

Information and Computation, Volume: 188, Issue: 1, Start page: 1

Swansea University Author: Faron Moller Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Information and Computation
ISSN: 0890-5401
Published: 2004
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Issue: 1
Start Page: 1