Journal: Fundamenta Informaticae

Volume 25, Issue 1

1 -- 15Inge Bethke, Piet Rodenburg. Equational Constructor Induction
17 -- 34Henning Fernau. On Grammar and Language Families
35 -- 38V. A. Bondarenko, S. V. Yurov. About a Polyhedron of Cubic Graphs
39 -- 48Andrés Bujosa, Regino Criado. Syntactic Elements of Declarative Programming: Symbolic Linear Equations
49 -- 57Paliath Narendran. Unification Modulo ACI + 1 + 0
59 -- 78Susanne Kaufmann, Martin Kummer. On a Quantitative Notion of Uniformity
79 -- 98Waldemar Korczynski. On a Notion of Concurrence