Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science
813 |
| विषय: | |
| ऑनलाइन पहुंच: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| टिप्पणी: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical foundations of computer science, proceedings, Third International symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994, 1994, Berlin, Springer-Verlag, 1 vol. (IX-392 p.), Lecture notes in computer science, 3-540-58140-5 • Logical Foundations of Computer Science, Texte imprimé, 9783662197998 |
| LEADER | 05204nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 944269 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155181408 | ||
| 020 | |a 9783540484424 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International symposium on logical foundations of computer science |n (3 |d :1994 |c :Saint-Pétersbourg, Russie). | |
| 245 | 1 | 0 | |a Logical foundations of computer science : |b Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings |c [edited by] A. Nerode, Yu. V. Matiyasevich. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 813 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Lower bounds for probabilistic space complexity: Communication-automata approach -- On model checking infinite-state systems -- Concurrency problem for Horn fragment of Girard's Linear Logic -- Referential data structures and labeled modal logic -- Yet another correctness criterion for Multiplicative Linear Logic with MIX -- An approach to effective model-checking of real-time Finite-State Machines in mu-calculus -- Allegories of circuits -- The complexity of propositional modal theories and the complexity of consistency of propositional modal theories -- Multiplicative Linear Logic for resource transformation nets -- The parameterized complexity of some problems in logic and linguistics -- Foundations of proof search strategies design in linear logic -- On extreme points of convex compact turing located set -- Application of typed lambda calculi in the untyped lambda calculus -- Classes with pairwise equivalent enumerations -- Strong normalization in a non-deterministic typed lambda-calculus -- On expressive completeness of modal logic -- Comparing models of the non-extensional typed ?-calculus extended abstract -- Coalgebras and approximation -- Computational and concurrency models of linear logic -- The longest perpetual reductions in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded actions -- Predicative recurrence in finite types -- Arity vs. alternation in second order logic -- Hereditarily sequential functionals -- Propositional linear temporal logic and language homomorphisms -- An abstract property of confluence applied to the study of the lazy partial lambda calculus -- On specialization of derivations in axiomatic equality theories -- Preserving of admissible inference rules in modal logic -- Pure Type Systems withdefinitions -- Craig interpolation property in modal logics with provability interpretation -- Representing null values in logic programming -- Comparing cubes -- A logic of capabilities -- Weak orthogonality implies confluence: The higher-order case. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Nerode, Anil, |d 1932- |4 pbd | |
| 700 | 1 | |a Matiâsevič, Ûrij Vladimirovič, |d 1947- |4 pbd | |
| 776 | 0 | |0 019119054 |t Logical foundations of computer science |o proceedings |f Third International symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 |d 1994 |c Berlin |n Springer-Verlag |p 1 vol. (IX-392 p.) |s Lecture notes in computer science |z 3-540-58140-5 | |
| 776 | 0 | |t Logical Foundations of Computer Science |b Texte imprimé |z 9783662197998 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58140-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6N1HN578-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747921245 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58140-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933674 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58140-5 |z Accès INSA CVL | |
| 997 | |0 944269 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||