- Marek Karpinski:
The Equivalences Problems for Binary EOL-Systems are Decidable. FCT 1977: 423-434 - Efim B. Kinber:
On a Theory of Inductive Inference. FCT 1977: 435-440 - Robert Knast, Jacek Martinek:
Reading Functions and an Extension of Kleene Theorem for some Families of Languages. FCT 1977: 127-134 - Antoni Kreczmar:
On Finite and Infinite Computations. FCT 1977: 441-446 - Hans-Jörg Kreowski:
Transformationas of Derivation Sequences in Graph Grammars. FCT 1977: 275-286 - Ludek Kucera:
Expected Behavior of Graph Coloring Algorithms. FCT 1977: 447-451 - Petr Kurka:
Applicability of a Production in a Categorical Grammar. FCT 1977: 287-293 - Witold Lipski Jr.:
Two NP-Complete Problems Related to Information Retrieval. FCT 1977: 452-458 - José Meseguer:
On Order-Complete Universal Algebra and Enriched Functorial Semantics. FCT 1977: 294-301 - Eugene M. Morris:
Maximal Rectangular Relations. FCT 1977: 476-481 - Andrzej Wlodzimierz Mostowski:
Operations on omega-Regular Languages. FCT 1977: 135-141 - Tomasz Müldner:
On Properties of Certain Synchronizing Tool for Parallel Computations. FCT 1977: 459-465 - J. Ian Munro:
The Parallel Complexity of Arithmetic Computation. FCT 1977: 466-475 - Manfred Nagl
:
On the Relation Between Graph Grammars and Graph L-Systems. FCT 1977: 142-151 - Jaroslav Nesetril
, Ales Pultr
:
A Dushnik - Miller Type Dimension of Graphs and its Complexity. FCT 1977: 482-493 - Adam Obtulowicz:
Functorial Semantics of the Type Free lambda-beta eta Calculus. FCT 1977: 302-307 - Jean-François Perrot:
On the Theory of Syntactic Monoids for Rational Languages. FCT 1977: 152-165 - S. Radziszowski:
Programming and P=NP Conjecture. FCT 1977: 494-498 - Jan Reiterman:
A More Categorical Model of Universal Algebra. FCT 1977: 308-313 - M. Roytberg:
The Equivalence of Schemata with some Feedback. FCT 1977: 166-170 - Andrzej Salwicki:
An Algorithmic Approach to Set Theory. FCT 1977: 499-510 - Hans Jürgen Schneider:
Graph Grammars. FCT 1977: 314-331 - Detlef Seese:
Decidability of omaega-Trees with Bounded Sets - A Survey. FCT 1977: 511-515 - Huei-Jan Shyr, Gabriel Thierrin:
Disjunctive Languages and Codes. FCT 1977: 171-176 - Dirk Siefkes:
Degrees of Circuit Complexity. FCT 1977: 522-531 - Ludwig Staiger:
Empty - Storage - Acceptance of omega-Languages. FCT 1977: 516-521 - Jerzy Tiuryn:
Fixed-Points and Algebras with Infinitely Long Expressions, II. FCT 1977: 332-339 - Vera Trnková:
Relational Automata ina Category and their Language. FCT 1977: 340-355 - Klaus W. Wagner, Ludwig Staiger:
Recursive omega-Languages. FCT 1977: 532-537 - Wolfgang Wechler:
Families of R-Fuzzy Languages. FCT 1977: 177-186