Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002710830/catalog> ?p ?o. }

• catalog abstract ""This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science."--PUBLISHER'S WEBSITE.".
• catalog contributor b3932413.
• catalog contributor b3932414.
• catalog created "c1992.".
• catalog date "1992".
• catalog date "c1992.".
• catalog dateCopyrighted "c1992.".
• catalog description ""This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science."--PUBLISHER'S WEBSITE.".
• catalog description "An and-parallelism cooperative scheme for full prolog interpreters on a transputer-based architecture / K. Sadi, F. Meunier -- A sequent calculus for a first order linear temporal logic with equality / J. Sakalauskaite -- On the expressive power of modal logics on trees / B.-H. Schlingloff -- Propositional dynamic logic with fixed points / N.V. Shilov -- Effective operators and continuity revisited / D. Spreen -- Logical characterizations of bounded query classes I / I.A. Stewart -- Solving equational constraints in polymorphic types / J. Tiuryn -- Gentzen-style and Novikov-style cut-elimination / S. Tupailo -- Graded modalities in epistemic logic / W. van der Hoek, J.-J. Ch. Meyer.".
• catalog description "Automated deduction in additive and multiplicative linear logic / D. Galmiche, G. Perrier -- Intensionally ̃stable functions / B. Gamatie -- A constructive proof that trees are well-quasi-ordered under minors / A. Gupta -- Banishing robust turing completeness / L.A. Hemachandra, S. Jain, N.K. Vereshchagin -- Balanced formulas, BCK-minimal formulas and their proofs / S. Hirokawa -- Non-stable models of linear logic / R. Hoofman -- Ordering optimizations for concurrent logic programs / A. King, P. Soper -- A categorical interpretation of partial function logic and hoare logic / P.M.W. Knijnenburg, F. Nordemann -- The polynomial complexity of conjunctive normal form satisfiability, when the number of conjunctions and negations is limited / N.K. Kossovsky, A.B. Prokhoroff -- Typed [lambda]-calculus with recursive definitions / S.V. Kotov -- Set theoretic foundations for fuzzy set theory, and their applications / K. Lano -- ".
• catalog description "Constructive specifications of abstract data types using temporal logic / F. Lesske -- An interval-based modal logic for system specification / R. Li, J. Carmo -- A unifying theory of dependent types / Z. Luo -- MSL -- a mathematical specification language / V.P. Makarov -- Partial algebra + order-sorted algebra = galactic algebra / A. Megrelis -- Minimal negation and hereditary harrop formulae / A. Momigliano -- Kleene automata and recursion theory / J. Mullins -- Incremental polymorphic type checking with update / A. Mycroft -- Operators on lattices of [omega]-Herbrand interpretations / J.A. Plaza -- Sequential calculus for proving the properties of regular programs / A. Pliuskeviciene -- Complete sequential calculi for the first order symmetrical linear temporal logic with until and since / R. Pliuskevicius -- Non modularity and expressibility for nets of relations / A. Rabinovich -- Correctness of generic modules / W. Reif -- ".
• catalog description "Includes bibliographical references.".
• catalog description "Modal linear logic / D.A. Archangelsky, M.A. Taitslin -- Machine learning of higher order programs / G. Baliga [and others] -- Quantifying the Amount of Verboseness / R. Beigel, M. Kummer, F. Stephan -- Strictness logic and polymorphic invariance / P.N. Benton -- Preference logics and non-monotonicity in logic programming / A.L. Brown, Jr., S. Mantha, T. Wakayama -- The Ehrenfeucht-Fraisse games for transitive closure / A. Calo, J.A. Makowsky -- Feasibility of finite and infinite paths in data dependent programs / K. Cerans -- An interleaving model for real-time systems / L. Chen -- A logical characterization of asynchronously communicating agents / S. Christensen -- Denotations for classical proofs -- preliminary results / P. de Groote -- Ordinal arithmetic with list structures / N. Dershowitz, E.M. Reingold -- Continuous I-categories / A. Edalat -- Many-valued non-monotonic modal logics / M. Fitting -- ".
• catalog extent "ix, 514 p. :".
• catalog identifier "0387557075 (Springer-Verlag New York Berlin Heidelberg : acid-free paper)".
• catalog identifier "3540557075 (Springer-Verlag Berlin Heidelberg New York : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science ; 620".
• catalog issued "1992".
• catalog issued "c1992.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "004 20".
• catalog subject "Computers Congresses.".
• catalog subject "Electronic data processing Congresses.".
• catalog subject "Logic, Symbolic and mathematical Congresses.".
• catalog subject "QA75.5 .L64 1992".
• catalog tableOfContents "An and-parallelism cooperative scheme for full prolog interpreters on a transputer-based architecture / K. Sadi, F. Meunier -- A sequent calculus for a first order linear temporal logic with equality / J. Sakalauskaite -- On the expressive power of modal logics on trees / B.-H. Schlingloff -- Propositional dynamic logic with fixed points / N.V. Shilov -- Effective operators and continuity revisited / D. Spreen -- Logical characterizations of bounded query classes I / I.A. Stewart -- Solving equational constraints in polymorphic types / J. Tiuryn -- Gentzen-style and Novikov-style cut-elimination / S. Tupailo -- Graded modalities in epistemic logic / W. van der Hoek, J.-J. Ch. Meyer.".
• catalog tableOfContents "Automated deduction in additive and multiplicative linear logic / D. Galmiche, G. Perrier -- Intensionally ̃stable functions / B. Gamatie -- A constructive proof that trees are well-quasi-ordered under minors / A. Gupta -- Banishing robust turing completeness / L.A. Hemachandra, S. Jain, N.K. Vereshchagin -- Balanced formulas, BCK-minimal formulas and their proofs / S. Hirokawa -- Non-stable models of linear logic / R. Hoofman -- Ordering optimizations for concurrent logic programs / A. King, P. Soper -- A categorical interpretation of partial function logic and hoare logic / P.M.W. Knijnenburg, F. Nordemann -- The polynomial complexity of conjunctive normal form satisfiability, when the number of conjunctions and negations is limited / N.K. Kossovsky, A.B. Prokhoroff -- Typed [lambda]-calculus with recursive definitions / S.V. Kotov -- Set theoretic foundations for fuzzy set theory, and their applications / K. Lano -- ".
• catalog tableOfContents "Constructive specifications of abstract data types using temporal logic / F. Lesske -- An interval-based modal logic for system specification / R. Li, J. Carmo -- A unifying theory of dependent types / Z. Luo -- MSL -- a mathematical specification language / V.P. Makarov -- Partial algebra + order-sorted algebra = galactic algebra / A. Megrelis -- Minimal negation and hereditary harrop formulae / A. Momigliano -- Kleene automata and recursion theory / J. Mullins -- Incremental polymorphic type checking with update / A. Mycroft -- Operators on lattices of [omega]-Herbrand interpretations / J.A. Plaza -- Sequential calculus for proving the properties of regular programs / A. Pliuskeviciene -- Complete sequential calculi for the first order symmetrical linear temporal logic with until and since / R. Pliuskevicius -- Non modularity and expressibility for nets of relations / A. Rabinovich -- Correctness of generic modules / W. Reif -- ".
• catalog tableOfContents "Modal linear logic / D.A. Archangelsky, M.A. Taitslin -- Machine learning of higher order programs / G. Baliga [and others] -- Quantifying the Amount of Verboseness / R. Beigel, M. Kummer, F. Stephan -- Strictness logic and polymorphic invariance / P.N. Benton -- Preference logics and non-monotonicity in logic programming / A.L. Brown, Jr., S. Mantha, T. Wakayama -- The Ehrenfeucht-Fraisse games for transitive closure / A. Calo, J.A. Makowsky -- Feasibility of finite and infinite paths in data dependent programs / K. Cerans -- An interleaving model for real-time systems / L. Chen -- A logical characterization of asynchronously communicating agents / S. Christensen -- Denotations for classical proofs -- preliminary results / P. de Groote -- Ordinal arithmetic with list structures / N. Dershowitz, E.M. Reingold -- Continuous I-categories / A. Edalat -- Many-valued non-monotonic modal logics / M. Fitting -- ".
• catalog title "Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / A. Nerode, M. Taitslin (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".