FCT B

51 papers

YearTitle / Authors
1979A grammatical model for the top-down design of structured programs.
Meera Blattner, Jayashree Ramanathan
1979An integer-valued metric for patterns.
Alexander R. Bednarek, Stanislaw M. Ulam
1979Analysis of vectors of coroutines by means of components.
Ryszard Janicki
1979Automata and planar graphs.
Dexter Kozen
1979Automata theory and structural parallel programming.
G. E. Tseytlin, E. L. Yushchenko
1979Automatic synthesis of programs and inductive inference of functions.
Klaus P. Jantke
1979Compiler generation and denotational semantics.
Martin R. Raskovsky, Raymond Turner
1979Complexity of linear problems.
Peter van Emde Boas
1979Concentration of multidimensional tape-bounded systems of Turing automata and cellular spaces.
Armin Hemmerling
1979Decidability Results on Plane Automata Searching Mazes.
Ryszard Danecki, Marek Karpinski
1979Elements de la theorie algebrique des arbres.
Gérard Jacob
1979Forets de Greibach et homomorphismes inverses.
André Arnold, Bernard Leguy
1979Formal algebraic equations.
Wolfgang Merzenich
1979Fundamentals of Computation Theory, FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979.
Lothar Budach
1979Generalized vector addition systems with finite exception sets.
Hans Kleine Büning
1979Henkin-type semantics for program-schemes to turn negative results to positive.
Hajnal Andréka, István Németi, Ildikó Sain
1979Implicit definability of algebraic structures by means of program properties.
Jan A. Bergstra, Jerzy Tiuryn
1979Independence of linear and one-counter generators (extended abstract).
Joffroy Beauquier
1979Input sets of strongly connected automata.
Masami Ito
1979Invariants of grammartransformations.
Hermann K.-G. Walter
1979Kolmogorov complexity and lower bounds.
Wolfgang J. Paul
1979Language recognition by linear bounded and copy programs.
Lutz Voelkel
1979Logic of complex algorithms.
Helena Rasiowa
1979Machines and their behaviour in a category.
Vera Trnková
1979Miscellaneous results on vector addition systems.
Jan Grabowski
1979Necessary decidable conditions for the word and equivalence problem of formal languages.
Günter Hotz
1979On Polya series in noncommuting variables.
Christophe Reutenauer
1979On compilation of parallel programs.
Tomasz Müldner
1979On determinants, matchings, and random algorithms.
László Lovász
1979On equivalence of safe Petri nets.
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
1979On functional tree transducers.
Zoltán Ésik
1979On machine maps in categories.
Gyula Horváth
1979On the definition of hierarchies of infinite sequential computations.
Alberto Pettorossi
1979Partially-additive semantics: A progress report.
Ernest G. Manes
1979Real-time computations of two-way multihead finite automata.
Ladislav Janiga
1979Recognizing of Chomsky classes of formal languages by two-dimensional iterative arrays.
Przemyslaw Prusinkiewicz
1979Semilinearity and Petri nets.
Peter H. Starke
1979Several algorithms for finite algebras.
Marie Demlová, Jirí Demel, Václav Koubek
1979Simulating in research of functional equivalence of programs (on structure and problematics of program schemas' theory).
Rimma I. Podlovchenko
1979Some investigations on finite graphs and their applications.
Phan Dinh Dieu
1979Stability of linear space automata and semicontinuity of cut point languages.
Ernst-Erich Doberkat
1979Strong endomorphisms of automata.
Andre D. Paradis, Gabriel Thierrin
1979The average depth of a prefix of the Dycklanguage D$.
Rainer Kemp
1979The complexity of complex division (extended abstract).
Helmut Alt, Jan van Leeuwen
1979The complexity of distributive computations.
Andrzej Lingas
1979The oscillation complexity and a hierarchy of context-free languages.
Gerd Wechsung
1979Transformations de noyaux reconnaissables.
Max Dauchet, Jocelyne Mongy
1979Tree-group automata.
Vera Trnková, Jirí Adámek
1979Une propriete de la famille GRE.
Michel Latteux, Jeannine Leguy
1979Universal traps
Horst Antelmann, Lothar Budach, Hans-Anton Rollik
1979Word problems for groups and contextfree recognition.
Hans Ulrich Simon