Engelfriet, Joost Tree transducers and syntax-directed semantics. (English) Zbl 0539.68075 Les arbres en algèbre et en programmation, 7ème Colloq., Lille 1982, 82-107 (1982). MSC: 68Q55 68Q45 PDFBibTeX XML
Nivat, Maurice Behaviors of processes and synchronized systems of processes. (English) Zbl 0538.68063 Theoretical foundations of programming methodology, Lect. Notes int. Summer Sch., Marktoberdorf/Ger. 1981, NATO Adv. Study Inst. Ser., C, Math. Phys. Sci. 91, 473-551 (1982). Reviewer: P.Degano MSC: 68Q45 68N25 PDFBibTeX XML
Nivat, Maurice; Arnold, André Comportements de processus. (English) Zbl 0538.68062 Les mathématiques de l’informatique, AFCET Colloq., Paris 1982, 35-68 (1982). Reviewer: P.Degano MSC: 68Q45 68N25 PDFBibTeX XML
Tuomela, Raimo Action generation. (English) Zbl 0538.03004 Acta Philos. Fenn. 35, 282-301 (1982). Reviewer: L.Löfgren MSC: 03A05 68Q45 PDFBibTeX XMLCite \textit{R. Tuomela}, Acta Philos. Fenn. 35, 282--301 (1982; Zbl 0538.03004)
Priest, Graham To be and not to be: Dialectical tense logic. (English) Zbl 0536.03006 Stud. Log. 41, 249-268 (1982). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{G. Priest}, Stud. Log. 41, 249--268 (1982; Zbl 0536.03006) Full Text: DOI
Chebotar’, K. S. Some algorithms for realizing translation systems by the method of attributive grammars. (Russian) Zbl 0534.68059 Mat. Issled. 69, 91-100 (1982). Reviewer: M.Chytil MSC: 68Q55 68Q45 68T50 PDFBibTeX XMLCite \textit{K. S. Chebotar'}, Mat. Issled. 69, 91--100 (1982; Zbl 0534.68059)
Laut, Alfred Abstrakte Syntax und Programm-Manipulation. (German) Zbl 0534.68014 Fakultät für Mathematik und Informatik der Technischen Universität München. 115 S. (1982). MSC: 68N01 68Q45 68Q60 PDFBibTeX XML
Struckmann, Werner Zur kategoriellen Darstellung von Lindenmayer-Systemen. (German) Zbl 0532.68057 Naturwissenschaftliche Fakultät der Technischen Universität Carolo- Wilhelmina Braunschweig. 78 S. (1982). MSC: 68Q42 68Q70 18B20 18C10 68Q45 PDFBibTeX XML
Zima, Hans Compilerbau I: Analyse. (English) Zbl 0531.68036 Reihe Informatik, Band 36. Mannheim-Wien-Zürich: Bibliographisches Institut, B.I.-Wissenschaftsverlag. 405 S. DM 34.00 (1982). Reviewer: R.Nabert MSC: 68T99 68N20 68Q55 68-01 68-02 68Q45 68N99 PDFBibTeX XML
Arigoni, Anio O. Algebraic structure of property spaces - on the synthesis of formal properties. (English) Zbl 0528.68060 Cybernetics and systems research, Proc. 6th Eur. Meet., Vienna/Austria 1982, 705-709 (1982). MSC: 68Q55 PDFBibTeX XML
Engelfriet, Joost; File, Gilberto Simple multi-visit attribute grammars. (English) Zbl 0524.68048 J. Comput. Syst. Sci. 24, 283-314 (1982). MSC: 68N20 68Q55 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. File}, J. Comput. Syst. Sci. 24, 283--314 (1982; Zbl 0524.68048) Full Text: DOI Link
Winskel, Glynn Event structure semantics for CCS and related languages. (English) Zbl 0518.68045 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 561-576 (1982). MSC: 68Q55 68Q45 68Q70 90B10 PDFBibTeX XML
Scott, Dana S. Lectures on a mathematical theory of computation. (English) Zbl 0516.68064 Theoretical foundations of programming methodology, Lect. Notes int. Summer Sch., Marktoberdorf/Ger. 1981, NATO Adv. Study Inst. Ser., C, Math. Phys. Sci. 91, 145-292 (1982). MSC: 68Q55 68Q45 68N01 03B40 03D05 03D80 PDFBibTeX XML
Vooglaid, A. O.; Meriste, M. B. Abstract attribute grammars. (English. Russian original) Zbl 0514.68070 Program. Comput. Software 8, 242-251 (1983); translation from Programmirovanie 1982, No. 5, 17-26 (1982). MSC: 68Q45 68Q55 68N20 PDFBibTeX XMLCite \textit{A. O. Vooglaid} and \textit{M. B. Meriste}, Program. Comput. Softw. 8, 242--251 (1982; Zbl 0514.68070); translation from Programmirovanie 1982, No. 5, 17--26 (1982)
Ruzicka, Milan Formalized models of ontological systems. (English) Zbl 0505.93006 Kybernetika 18, 545-554 (1982). MSC: 93A10 68Q55 68U20 03B65 68Q45 PDFBibTeX XMLCite \textit{M. Ruzicka}, Kybernetika 18, 545--554 (1982; Zbl 0505.93006) Full Text: EuDML
Ono, Hiroakira; Komori, Yuichi Logics without the contraction rule. (English) Zbl 0501.03007 Semigroup theory and its related fields, Proc. 6th Symp. Semigroups, Kyoto/Jap. 1982, 78-79 (1982). MSC: 03B20 PDFBibTeX XML
Buszkowski, Wojciech Compatibility of a categorial grammar with an associated category system. (English) Zbl 0499.03009 Z. Math. Logik Grundlagen Math. 28, 229-238 (1982). MSC: 03B65 03D05 PDFBibTeX XMLCite \textit{W. Buszkowski}, Z. Math. Logik Grundlagen Math. 28, 229--238 (1982; Zbl 0499.03009) Full Text: DOI
Łukaszewicz, Leon Universal grammars. (English) Zbl 0496.68054 Inf. Process. Lett. 15, 76-80 (1982). MSC: 68Q55 68N99 68Q45 PDFBibTeX XMLCite \textit{L. Łukaszewicz}, Inf. Process. Lett. 15, 76--80 (1982; Zbl 0496.68054) Full Text: DOI
Cardelli, Luca Real time agents. (English) Zbl 0493.68017 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 94-106 (1982). MSC: 68N25 PDFBibTeX XML
Lengauer, Christian; Hehner, Eric C. R. A methodology for programming with concurrency: An informal presentation. (English) Zbl 0491.68005 Sci. Comput. Program. 2, 1-18 (1982). MSC: 68N01 68N25 PDFBibTeX XMLCite \textit{C. Lengauer} and \textit{E. C. R. Hehner}, Sci. Comput. Program. 2, 1--18 (1982; Zbl 0491.68005) Full Text: DOI
Niwinski, Damian Fixed-point semantics for algebraic (tree) grammars (extended abstract). (English) Zbl 0488.68053 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 384-396 (1982). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XML
Padawitz, Peter Graph grammars and operational semantics. (English) Zbl 0486.68090 Theor. Comput. Sci. 19, 117-141 (1982). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. Padawitz}, Theor. Comput. Sci. 19, 117--141 (1982; Zbl 0486.68090) Full Text: DOI
Comer, Stephen D. Inductive domains and algebraic semantics of CF languages. (English) Zbl 0486.68089 Comput. Linguist. Comput. Lang. 15, 43-49 (1982). MSC: 68Q55 68Q45 PDFBibTeX XMLCite \textit{S. D. Comer}, Comput. Linguist. Comput. Lang. 15, 43--49 (1982; Zbl 0486.68089)
Deschamp, Ph. PERLUETTE: A compilers producing system using abstract data types. (English) Zbl 0482.68023 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 63-77 (1982). MSC: 68N25 68P05 PDFBibTeX XML
Lou Soffa, Mary Control discipline necessity: Making the language as general as the implementation. (English) Zbl 0482.68014 BIT 22, 169-182 (1982). MSC: 68N01 PDFBibTeX XMLCite \textit{M. Lou Soffa}, BIT 22, 169--182 (1982; Zbl 0482.68014) Full Text: DOI
Boehm, A. P. W.; De Bruin, A. Dynamic networks of parallel processes. (English) Zbl 0478.68049 Math. Cent., Amst., Afd. Inf. IW 192/82, 40 p. (1982). MSC: 68Q05 68Q60 68N25 68W99 68P10 68Q45 PDFBibTeX XML
Damm, Werner The IO- and OI-hierarchies. (English) Zbl 0478.68012 Theor. Comput. Sci. 20, 95-207 (1982). MSC: 68N01 68Q65 68Q45 03B40 68Q60 03D05 03D20 PDFBibTeX XMLCite \textit{W. Damm}, Theor. Comput. Sci. 20, 95--207 (1982; Zbl 0478.68012) Full Text: DOI
Sechser, Otto Link indicators and other means of cohesion indication in retrieval languages - syntactic and logico-semantic properties. (English) Zbl 0477.68119 Inf. Process. Manage. 18, 65-97 (1982). MSC: 68P20 68Q45 68Q55 PDFBibTeX XMLCite \textit{O. Sechser}, Inf. Process. Manage. 18, 65--97 (1982; Zbl 0477.68119) Full Text: DOI
Tai, J. W.; Fu, K. S. Inference of a class of CFPG by means of semantic rules. (English) Zbl 0477.68090 Int. J. Comput. Inform. Sci. 11, 1-23 (1982). MSC: 68Q45 68Q55 68T10 68S05 PDFBibTeX XMLCite \textit{J. W. Tai} and \textit{K. S. Fu}, Int. J. Comput. Inform. Sci. 11, 1--23 (1982; Zbl 0477.68090) Full Text: DOI
Istrail, Sorin Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages. (English) Zbl 0477.68089 Theor. Comput. Sci. 18, 333-341 (1982). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{S. Istrail}, Theor. Comput. Sci. 18, 333--341 (1982; Zbl 0477.68089) Full Text: DOI