( en | de | ru )

 

Disambiguierung von "Rosenkrantz, Daniel J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sufficient-Completeness, Ground-Reducibility and their Complexity.

, , , und . Acta Informatica, 28 (4): 311-350 (1991)

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.

Daniel J Schad

Daniel J Guhr

Daniel J Alfsmann

Daniel J Schmidt

Daniel J Egger

 

Weitere Publikationen von Autoren mit dem selben Namen

Inferring Probabilistic Contagion Models Over Networks Using Active Queries., , , , , , und . CIKM, Seite 377-386. ACM, (2018)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , und . PODC, Seite 122. ACM, (1996)Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications., und . Fundamental Problems in Computing, Seite 163-208. Springer, (2013)Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)Predecessor and Permutation Existence Problems for Sequential Dynamical Systems., , , , , und . DMCS, Volume AB von DMTCS Proceedings, Seite 69-80. DMTCS, (2003)Computational Parallels Between the Regular and Context-Free Languages., und . SIAM J. Comput., 7 (1): 99-114 (1978)Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze., und . SIAM J. Comput., 15 (3): 831-850 (1986)Validating Agent-Based Models of Large Networked Systems., , , , , , , , , und 1 andere Autor(en). WSC, Seite 2807-2818. IEEE, (2019)Table Machine Simulation, und . SWAT, Seite 118-128. IEEE Computer Society, (1969)