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

Delayed publication

Available after

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.