Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Globerman:1996:CRT,
author = "Noa Globerman and David Harel",
title = "Complexity results for two-way and multi-pebble
automata and their logics",
journal = j-THEOR-COMP-SCI,
volume = "169",
number = "2",
pages = "161--184",
day = "05",
month = dec,
year = "1996",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Jul 19 22:20:29 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=169&issue=2;
http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=169&issue=2&aid=2322",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic); C4220 (Automata theory);
C4240C (Computational complexity)",
conflocation = "Jerusalem, Israel; 11-14 July 1994",
conftitle = "21st International Colloquium on Automata, Languages,
and Programming",
corpsource = "Dept. of Math. and Comput. Sci., Bar-Ilan Univ.,
Ramat-Gan, Israel",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "complexity results; computational complexity;
concurrency; finite automata; formal logic; logics;
multi-pebble automata; nondeterminism; propositional
dynamic logic; reasoning problem; regular languages;
two-way automata",
pubcountry = "Netherlands",
sponsororg = "Eur. Assoc. Theor. Comput. Sci",
treatment = "P Practical; T Theoretical or Mathematical",
}