Einzeltreffer — DigiBib

"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.

Titel:	Logical foundations of computer science--Tver '92: second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Autor/in / Beteiligte Person:	Nerode, Anil, 1932- ; Taitslin, M. A. (Mikhail A.), 1936-
Reihe:	Lecture notes in computer science Lecture notes in computer science
Veröffentlichung:	Berlin ; New York : Springer-Verlag, c1992., 1992
Medientyp:	Buch
Umfang:	ix, 514 p. : ill. ; 24 cm.
ISBN:	978-3-540-55707-4 (print) ; 978-0-387-55707-6 (print) ; 3-540-55707-5 (print) ; 0-387-55707-5 (print)
Schlagwort:	Computers -- Congresses. Electronic data processing -- Congresses. Logic, Symbolic and mathematical -- Congresses. Conference proceedings.
Sonstiges:	Nachgewiesen in: Harvard Library Bibliographic Dataset Sprachen: English Contents Note: 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 -- ; 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 -- ; 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 -- ; 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. Document Type: Book Language: English Rights: This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress. Notes: Includes bibliographical references.

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

Logical foundations of computer science--Tver '92: second international symposium, Tver, Russia, July 20-24, 1992 proceedings