( en | de | ru )

 

Disambiguierung von "Kfoury, A. J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A linear-time algorithm to decide whether a binary word contains an overlap.

. Bulletin of the EATCS, (1986)

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.

J A Werner

A J Zensus

Manuel J A Eugster

Manuel J A Eugster

Jacobus A L J J Geijsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Type theory and rewriting theory for expressive, efficient and reliable programming languages.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 61-62 (2000)What Are Polymorphically-Typed Ambients?, , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 206-220. Springer, (2001)On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures., , und . Theor. Comput. Sci., 93 (1): 1-41 (1992)A Linear-Time Algorithm to Decide Whether A Binary Word Contains An Overlap.. RAIRO Theor. Informatics Appl., 22 (2): 135-145 (1988)The Undecidability of the Semi-unification Problem, , und . Inf. Comput., 102 (1): 83-101 (Januar 1993)The Unwind Property for Programs with Bounded Memory.. Inf. Process. Lett., 21 (5): 233-238 (1985)The Hierarchy of Finitely Typed Functional Programs (Short Version), , und . LICS, Seite 225-235. IEEE Computer Society, (1987)Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic). Inf. Control., 65 (2/3): 98-121 (Mai 1985)Principality and Decidable Type Inference for Finite-Rank Intersection Types., und . POPL, Seite 161-174. ACM, (1999)Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)., und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 279-289. Springer, (1983)