Simulation problems for one-counter machines

Loading...
Thumbnail Image

Downloads

Date issued

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

Location

Ve fondu ÚK

Signature

Abstract

Description

Subject(s)

Citation

SOFSEM 1999 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999. Proceedings. 1999, p. 404-413.