researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Issue
Volume
25
, Issue
1
1
--
15
Inge Bethke
,
Piet Rodenburg
.
Equational Constructor Induction
17
--
34
Henning Fernau
.
On Grammar and Language Families
35
--
38
V. A. Bondarenko
,
S. V. Yurov
.
About a Polyhedron of Cubic Graphs
39
--
48
Andrés Bujosa
,
Regino Criado
.
Syntactic Elements of Declarative Programming: Symbolic Linear Equations
49
--
57
Paliath Narendran
.
Unification Modulo ACI + 1 + 0
59
--
78
Susanne Kaufmann
,
Martin Kummer
.
On a Quantitative Notion of Uniformity
79
--
98
Waldemar Korczynski
.
On a Notion of Concurrence