Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Murawski, A.S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Syntactic control of concurrency
D.R. Ghica
,
A.S. Murawski
,
C.-H.L. Ong
Theoretical Computer Science
350
(2-3), 2006, pp. 234-251
Idealized Algol with ground recursion, and DPDA equivalence
A.S. Murawski
,
C.-H.L. Ong
,
I. Walukiewicz
Lecture Notes in Computer Science
3580
, 2005, pp. 917-929
Syntactic control of concurrency
D.R. Ghica
,
A.S. Murawski
,
C.-H.L. Ong
Lecture Notes in Computer Science
3142
, 2004, pp. 683-694
On an interpretation of safe recursion in light affine logic
A.S. Murawski
,
C.-H.L. Ong
Theoretical Computer Science
318
(1-2), 2004, pp. 197-223
Exhausting strategies, joker games and full completeness for IMLL with unit
A.S. Murawski
,
C.-H.L. Ong
Theoretical Computer Science
294
(1-2), 2003, pp. 269-305