( en | de | ru )

 

Disambiguierung von "Nielsen, Mogens"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.

, , , und . Acta Inf., (1974)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mogens Hasse

Mogens Matell

Mogens Poppe

Mogens Harbou

Mogens Heusinger

 

Weitere Publikationen von Autoren mit dem selben Namen

Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems., , , und . Acta Inf., (1974)Biomedical Signal Compression With Optimized Wavelets., , , , und . ICASSP (2), Seite 1044-1047. IEEE, (2006)Towards a Formal Framework for Computational Trust., , und . FMCO, Volume 4709 von Lecture Notes in Computer Science, Seite 175-184. Springer, (2006)Bisimulation, Games, and Logic., und . Results and Trends in Theoretical Computer Science, Volume 812 von Lecture Notes in Computer Science, Seite 289-306. Springer, (1994)To Dexter - A Tribute from Aarhus., , und . Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 341. Springer, (2012)A Case Study in Verification Based on Trace Abstractions., , und . Formal Systems Specification, Volume 1169 von Lecture Notes in Computer Science, Seite 341-373. Springer, (1994)Towards a Notion of Distributed Time for Petri Nets., , und . ICATPN, Volume 2075 von Lecture Notes in Computer Science, Seite 23-31. Springer, (2001)Notes on Timed Concurrent Constraint Programming., und . Lectures on Concurrency and Petri Nets, Volume 3098 von Lecture Notes in Computer Science, Seite 702-741. Springer, (2003)Open Maps, Behavioural Equivalences, and Congruences., und . CAAP, Volume 1059 von Lecture Notes in Computer Science, Seite 257-271. Springer, (1996)Deterministic Behavioural Models for Concurrency., , und . MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 682-692. Springer, (1993)