Hennessy, M. Acceptance trees. (English) Zbl 0633.68074 J. Assoc. Comput. Mach. 32, 896-928 (1985). MSC: 68Q45 05C05 68Q60 PDFBibTeX XMLCite \textit{M. Hennessy}, J. Assoc. Comput. Mach. 32, 896--928 (1985; Zbl 0633.68074) Full Text: DOI
Buszkowski, Wojciech Algebraic models of categorial grammars. (English) Zbl 0618.03010 Foundations of logic and linguistics, Sel. Pap. 7th Int. Congr. Logic, Methodol. Philos. Sci., Salzburg/Austria 1983, 403-426 (1985). MSC: 03B65 68Q45 PDFBibTeX XML
Berry, G.; Curien, P.-L.; Lévy, J.-J. Full abstraction for sequential languages: the state of the art. (English) Zbl 0604.68033 Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 89-132 (1985). Reviewer: H.J.Schneider MSC: 68Q65 68N01 68Q55 18D15 PDFBibTeX XML
Engelfriet, Joost; Vogler, Heiko Characterization of high level tree transducers. (English) Zbl 0602.68076 Automata, languages and programming, 12th Colloq., Nafplion/Greece 1985, Lect. Notes Comput. Sci. 194, 171-178 (1985). Reviewer: G.Slutzki MSC: 68Q45 68Q60 68Q55 PDFBibTeX XML
Ono, Horoakira Some remarks on semantics for the classical logic without the contraction rules. (English) Zbl 0602.03002 Rep. Math. Logic 19, 3-12 (1985). MSC: 03B20 03B60 03G25 PDFBibTeX XMLCite \textit{H. Ono}, Rep. Math. Logic 19, 3--12 (1985; Zbl 0602.03002)
Voda, Paul J. A view of programming languages as symbiosis of meaning and computations. (English) Zbl 0598.68009 New Generation Comput. 3, 71-100 (1985). MSC: 68N01 68N25 PDFBibTeX XMLCite \textit{P. J. Voda}, New Generation Comput. 3, 71--100 (1985; Zbl 0598.68009) Full Text: DOI
Martin, John N. Some formal properties of indirect semantics. (English) Zbl 0596.03024 Theor. Linguist. 12, 1-32 (1985). MSC: 03B65 68Q45 PDFBibTeX XMLCite \textit{J. N. Martin}, Theor. Linguist. 12, 1--32 (1985; Zbl 0596.03024) Full Text: DOI
Zhou, Chaochen A temporal semantics of communicating processes. (English) Zbl 0594.68024 Proc. 1st Pan Pacific Computer Conf., Melbourne/Aust. 1985, Vol. 1, 617-630 (1985). MSC: 68N25 PDFBibTeX XML
Börger, Egon Rödding, Dieter (ed.) Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. (German) Zbl 0593.03001 Braunschweig - Wiesbaden: Friedr. Vieweg & Sohn. XVII, 469 S. DM 64.00 (1985). Reviewer: Phan Dinh Diêu MSC: 03-01 03-02 03Dxx 03D15 03B10 68W99 03D05 03F05 03D55 03D20 03D30 03D35 68Q45 PDFBibTeX XML
Engelfriet, Joost; Vogler, Heiko Macro tree transducers. (English) Zbl 0588.68039 J. Comput. Syst. Sci. 31, 71-146 (1985). Reviewer: D.Lucanu MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, J. Comput. Syst. Sci. 31, 71--146 (1985; Zbl 0588.68039) Full Text: DOI Link
O’Shea, Tim (ed.) Advances in artificial intelligence. Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5- 7, 1984. (English) Zbl 0584.68088 For the European Coordinating Committee for Artificial Intelligence. Amsterdam - New York - Oxford: North-Holland. XI, 423 p. $ 37.00; Dfl. 100.00 (1985). Reviewer: V.Calmatuianu MSC: 68Txx 00B25 68-06 03B60 68Q45 68N20 68Q55 68T05 68T10 68T20 68T99 PDFBibTeX XML
Bergstra, J. A.; Klop, J. W. Algebra of communicating processes with abstraction. (English) Zbl 0579.68016 Theor. Comput. Sci. 37, 77-121 (1985). MSC: 68N25 68Q60 68Q45 68Q65 68Q55 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. W. Klop}, Theor. Comput. Sci. 37, 77--121 (1985; Zbl 0579.68016) Full Text: DOI
Ehrig, Hartmut (ed.); Floyd, Christiane (ed.); Nivat, Maurice (ed.); Thatcher, James (ed.) Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE). (English) Zbl 0578.68001 Lecture Notes in Computer Science, 186. Berlin etc.: Springer-Verlag. XIV, 455 p. DM 55.00 (1985). Reviewer: H.Zeitler MSC: 68-06 00B25 68Q60 PDFBibTeX XML
Fohmann, Lothar H. Die Informationale Programmiersprache IPL. Studie zur Operationalisierung regelorientierter schlechtdefinierter nichtschematischer Entscheidungen. (German) Zbl 0577.68090 Ber. Ges. Math. Datenverarb., Bonn 147, 586 S. (1985). Reviewer: R.Nabert MSC: 68U99 68T99 91B06 68Q45 68N01 PDFBibTeX XML
Arnold, A.; Naudin, P.; Nivat, M. On semantics of nondeterministic recursive program schemes. (English) Zbl 0577.68032 Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 1-33 (1985). MSC: 68Q60 68Q65 68Q45 68Q55 PDFBibTeX XML
Turner, R.; Lowden, B. G. T. An introduction to the formal specification of relational query languages. (English) Zbl 0567.68059 Comput. J. 28, 162-169 (1985). MSC: 68P20 68Q55 PDFBibTeX XMLCite \textit{R. Turner} and \textit{B. G. T. Lowden}, Comput. J. 28, 162--169 (1985; Zbl 0567.68059) Full Text: DOI
Jalili, Fahimeh A general incremental evaluator for attribute grammars. (English) Zbl 0548.68079 Sci. Comput. Program. 5, 83-96 (1985). MSC: 68Q55 68Q45 68N20 PDFBibTeX XMLCite \textit{F. Jalili}, Sci. Comput. Program. 5, 83--96 (1985; Zbl 0548.68079) Full Text: DOI