( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Augmenting Parsers to Support Incrementality.

, и . J. ACM, 27 (3): 564-579 (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Caroline Dinort

Günter Dinort

Kathrin Dinort

Dino Azzano

Dino Carelli

 

Другие публикации лиц с тем же именем

Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach., , и . CSEDU (2), стр. 289-296. INSTICC Press, (2010)A formal approach for designing CORBA based applications., , , и . ICSE, стр. 188-197. ACM, (2000)Modeling the Environment in Software-Intensive Systems., , и . MiSE@ICSE, стр. 11. IEEE Computer Society, (2007)SCORE: The first student Contest in Software Engineering., и . ICSE Companion, стр. 487-488. IEEE, (2009)A Metric Temporal Logic for Dealing with Zero-Time Transitions., , , и . TIME, стр. 81-88. IEEE Computer Society, (2012)Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages., , и . SOFSEM, том 7741 из Lecture Notes in Computer Science, стр. 307-318. Springer, (2013)Dealing with different time scales in formal specifications., , , , , , и . IWSSD, стр. 92-101. IEEE Computer Society, (1991)Symbolic Execution of Concurrent Systems Using Petri Nets., , , и . Comput. Lang., 14 (4): 263-281 (1989)Augmenting Parsers to Support Incrementality., и . J. ACM, 27 (3): 564-579 (1980)An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving., , , и . Optimization Techniques, том 41 из Lecture Notes in Computer Science, стр. 98-129. Springer, (1975)