New Decidability Results Concerning Two-way Counter Machines and
Applications
O. Ibarra, T. Jiang, N. Trân, und H. Wang. Automata, Languages and Programming, 20th International Colloquium, Volume 700 von Lecture Notes in Computer Science, Seite 313--324. Lund, Sweden, Springer-Verlag, (5--9~July 1993)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 ibarra1993a
%A Ibarra, Oscar H.
%A Jiang, Tao
%A Trân, Nicholas Q.
%A Wang, Hui
%B Automata, Languages and Programming, 20th International Colloquium
%C Lund, Sweden
%D 1993
%E Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson
%I Springer-Verlag
%K imported
%P 313--324
%T New Decidability Results Concerning Two-way Counter Machines and
Applications
%V 700
@inproceedings{ibarra1993a,
added-at = {2006-03-09T08:15:35.000+0100},
address = {Lund, Sweden},
author = {Ibarra, Oscar H. and Jiang, Tao and Tr{\^a}n, Nicholas Q. and Wang, Hui},
biburl = {https://www.bibsonomy.org/bibtex/208fb387d927ca337b6c9e559cb778c46/snowball},
booktitle = {Automata, Languages and Programming, 20th International Colloquium},
editor = {{Andrzej Lingas, Rolf G. Karlsson}, Svante Carlsson},
interhash = {2a932558321a6388c4dbc5cacfd0d7c0},
intrahash = {08fb387d927ca337b6c9e559cb778c46},
keywords = {imported},
month = {5--9~July},
pages = {313--324},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
timestamp = {2006-03-09T08:15:35.000+0100},
title = {New Decidability Results Concerning Two-way Counter Machines and
Applications},
volume = 700,
year = 1993
}