×

Computational Linguistics and Computer Languages

Short Title: Comput. Linguist. Comput. Lang.
Publisher: Computer and Automation Institute, Hungarian Academy of Sciences, Budapest
Predecessor: Computational Linguistics
Comments: Journal; No longer indexed
Documents Indexed: 39 Publications (1973–1982)

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 56 times in 46 Documents Cited by Year
Identities in iterative and rational algebraic theories. Zbl 0466.68010
Esik, Zoltan
28
1980
On generalized iterative algebraic theories. Zbl 0494.68009
Esik, Zoltan
8
1982
There are general rules for specifying semantics: Observations of abstract model theory. Zbl 0449.68007
Sain, I.
8
1979
A survey of semantics of Floyd-Hoare derivability. Zbl 0466.68016
Csirmaz, Laszlo
3
1980
Some constructions of cylindric algebra theory applied to dynamic algebras of programs. Zbl 0523.03054
Nemeti, Istvan
2
1980
An algorithm for finite Galois-connections. Zbl 0359.06009
Fay, G.
2
1975
Some basic properties of k-bounded interpretations of grammar forms. Zbl 0493.68081
Csuhaj Varju, Erzsebet
1
1982
Intensional logic of actions. Zbl 0404.68042
Ecsedi-Toth, P.
1
1978
Cellular design principles, a case study of maximum selection in CODD- ICRA cellular space. I: Tools preparations. Zbl 0417.68035
Fay, G.
1
1976
Paths and traces. Zbl 0435.68048
Knuth, E.; Györy, Gy.
1
1979
Inductive generalization and proofs of function properties. Zbl 0449.68054
Degano, P.; Sirovich, F.
1
1979
On generalized iterative algebraic theories. Zbl 0494.68009
Esik, Zoltan
8
1982
Some basic properties of k-bounded interpretations of grammar forms. Zbl 0493.68081
Csuhaj Varju, Erzsebet
1
1982
Identities in iterative and rational algebraic theories. Zbl 0466.68010
Esik, Zoltan
28
1980
A survey of semantics of Floyd-Hoare derivability. Zbl 0466.68016
Csirmaz, Laszlo
3
1980
Some constructions of cylindric algebra theory applied to dynamic algebras of programs. Zbl 0523.03054
Nemeti, Istvan
2
1980
There are general rules for specifying semantics: Observations of abstract model theory. Zbl 0449.68007
Sain, I.
8
1979
Paths and traces. Zbl 0435.68048
Knuth, E.; Györy, Gy.
1
1979
Inductive generalization and proofs of function properties. Zbl 0449.68054
Degano, P.; Sirovich, F.
1
1979
Intensional logic of actions. Zbl 0404.68042
Ecsedi-Toth, P.
1
1978
Cellular design principles, a case study of maximum selection in CODD- ICRA cellular space. I: Tools preparations. Zbl 0417.68035
Fay, G.
1
1976
An algorithm for finite Galois-connections. Zbl 0359.06009
Fay, G.
2
1975

Citations by Year