:facetid:toc:\"db/conf/csl/csl94.bht\"OK:facetid:toc:db/conf/csl/csl94.bhtLeszek PacholskiJerzy TiurynComputer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected PapersCSLLecture Notes in Computer Science933Springer1995Editorshipconf/csl/199410.1007/BFB0022242https://doi.org/10.1007/BFb0022242https://dblp.org/rec/conf/csl/1994URL#6775173David Aspinall 0001Subtyping with Singleton Types.CSL1-151994Conference and Workshop Papersclosedconf/csl/Aspinall9410.1007/BFB0022243https://doi.org/10.1007/BFb0022243https://dblp.org/rec/conf/csl/Aspinall94URL#6801557Matthias BaazGernot SalzerSemi-Unification and Generalizations of a Particularly Simple Form.CSL106-1201994Conference and Workshop Papersclosedconf/csl/BaazS9410.1007/BFB0022250https://doi.org/10.1007/BFb0022250https://dblp.org/rec/conf/csl/BaazS94URL#6801558P. N. BentonA Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract).CSL121-1351994Conference and Workshop Papersclosedconf/csl/Benton9410.1007/BFB0022251https://doi.org/10.1007/BFb0022251https://dblp.org/rec/conf/csl/Benton94URL#6801559Viviana BonoLuigi LiquoriA Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.CSL16-301994Conference and Workshop Papersclosedconf/csl/BonoL9410.1007/BFB0022244https://doi.org/10.1007/BFb0022244https://dblp.org/rec/conf/csl/BonoL94URL#6801560Torben BraünerThe Girard Translation Extended with Recursion.CSL31-451994Conference and Workshop Papersclosedconf/csl/Brauner9410.1007/BFB0022245https://doi.org/10.1007/BFb0022245https://dblp.org/rec/conf/csl/Brauner94URL#6801561Alexander V. ChagrovValentin B. ShehtmanAlgorithmic Aspects of Propositional Tense Logics.CSL442-4551994Conference and Workshop Papersclosedconf/csl/ChagrovS9410.1007/BFB0022274https://doi.org/10.1007/BFb0022274https://dblp.org/rec/conf/csl/ChagrovS94URL#6801562Pawel CholewinskiStratified Default Theories.CSL456-4701994Conference and Workshop Papersclosedconf/csl/Cholewinski9410.1007/BFB0022275https://doi.org/10.1007/BFb0022275https://dblp.org/rec/conf/csl/Cholewinski94URL#6801563Adriana B. CompagnoniDecidability of Higher-Order Subtyping with Intersection Types.CSL46-601994Conference and Workshop Papersclosedconf/csl/Compagnoni9410.1007/BFB0022246https://doi.org/10.1007/BFb0022246https://dblp.org/rec/conf/csl/Compagnoni94URL#6801564Bruno CourcelleMonadic Second-Order Logic and Linear Orderings of Finite Structures.CSL163-1761994Conference and Workshop Papersclosedconf/csl/Courcelle9410.1007/BFB0022254https://doi.org/10.1007/BFb0022254https://dblp.org/rec/conf/csl/Courcelle94URL#6801565Roy L. CroleAndrew D. Gordon 0001A Sound Metalogical Semantics for Input/Output Effects.CSL339-3531994Conference and Workshop Papersclosedconf/csl/CroleG9410.1007/BFB0022267https://doi.org/10.1007/BFb0022267https://dblp.org/rec/conf/csl/CroleG94URL#6801566Arnaud Durand 0001Solomampionona RanaivosonFirst-Order Spectra with One Binary Predicate.CSL177-1891994Conference and Workshop Papersclosedconf/csl/DurandR9410.1007/BFB0022255https://doi.org/10.1007/BFb0022255https://dblp.org/rec/conf/csl/DurandR94URL#6801567Matt FairtloughMichael MendlerAn Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware.CSL354-3681994Conference and Workshop Papersclosedconf/csl/FairtloughM9410.1007/BFB0022268https://doi.org/10.1007/BFb0022268https://dblp.org/rec/conf/csl/FairtloughM94URL#6801568Stacy E. FinkelsteinPeter J. FreydJames LiptonLogic Programming in Tau Categories.CSL249-2631994Conference and Workshop Papersclosedconf/csl/FinkelsteinFL9410.1007/BFB0022261https://doi.org/10.1007/BFb0022261https://dblp.org/rec/conf/csl/FinkelsteinFL94URL#6801569Lew GordeevCut Free Formalization of Logic with Finitely Many Variables. Part I.CSL136-1501994Conference and Workshop Papersclosedconf/csl/Gordeev9410.1007/BFB0022252https://doi.org/10.1007/BFb0022252https://dblp.org/rec/conf/csl/Gordeev94URL#6801570Etienne GrandjeanFrédéric OliveMonadic Logical Definability of NP-Complete Problems.CSL190-2041994Conference and Workshop Papersclosedconf/csl/GrandjeanO9410.1007/BFB0022256https://doi.org/10.1007/BFb0022256https://dblp.org/rec/conf/csl/GrandjeanO94URL#6801571Hugo HerbelinA Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure.CSL61-751994Conference and Workshop Papersclosedconf/csl/Herbelin9410.1007/BFB0022247https://doi.org/10.1007/BFb0022247https://dblp.org/rec/conf/csl/Herbelin94URL#6801572Claudio HermidaBart Jacobs 0001An Algebraic View of Structural Induction.CSL412-4261994Conference and Workshop Papersclosedconf/csl/HermidaJ9410.1007/BFB0022272https://doi.org/10.1007/BFb0022272https://dblp.org/rec/conf/csl/HermidaJ94URL#6801573Martin Hofmann 0001On the Interpretation of Type Theory in Locally Cartesian Closed Categories.CSL427-4411994Conference and Workshop Papersclosedconf/csl/Hofmann9410.1007/BFB0022273https://doi.org/10.1007/BFb0022273https://dblp.org/rec/conf/csl/Hofmann94URL#6801574Nils KlarlundA Homomorphism Concepts for omega-Regularity.CSL471-4851994Conference and Workshop Papersclosedconf/csl/Klarlund9410.1007/BFB0022276https://doi.org/10.1007/BFb0022276https://dblp.org/rec/conf/csl/Klarlund94URL#6801575Valentinas KriauciukasMichal WalickiReasoning and Rewriting with Set-Relations I: Ground Completeness.CSL264-2781994Conference and Workshop Papersclosedconf/csl/KriauciukasW9410.1007/BFB0022262https://doi.org/10.1007/BFb0022262https://dblp.org/rec/conf/csl/KriauciukasW94URL#6801576Jan KuperUsability: Formalising (Un)definedness in Typed Lambda Calculus.CSL76-901994Conference and Workshop Papersclosedconf/csl/Kuper9410.1007/BFB0022248https://doi.org/10.1007/BFb0022248https://dblp.org/rec/conf/csl/Kuper94URL#6801577Clemens LautemannThomas SchwentickDenis ThérienLogics For Context-Free Languages.CSL205-2161994Conference and Workshop Papersclosedconf/csl/LautemannST9410.1007/BFB0022257https://doi.org/10.1007/BFb0022257https://dblp.org/rec/conf/csl/LautemannST94URL#6801578David R. LesterSava MintchevTowards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.CSL369-3811994Conference and Workshop Papersclosedconf/csl/LesterM9410.1007/BFB0022269https://doi.org/10.1007/BFb0022269https://dblp.org/rec/conf/csl/LesterM94URL#6801579Anders MalmströmLog-Approximable Minimization Problems on Random Inputs.CSL217-2271994Conference and Workshop Papersclosedconf/csl/Malmstrom9410.1007/BFB0022258https://doi.org/10.1007/BFb0022258https://dblp.org/rec/conf/csl/Malmstrom94URL#6801580Hrant B. MarandjianGeneral Form Recursive Equations I.CSL501-5111994Conference and Workshop Papersclosedconf/csl/Marandjian9410.1007/BFB0022278https://doi.org/10.1007/BFb0022278https://dblp.org/rec/conf/csl/Marandjian94URL#6801581Daniel LeivantJean-Yves MarionRamified Recurrence and Computational Complexity II: Substitution and Poly-Space.CSL486-5001994Conference and Workshop Papersclosedconf/csl/Marion9410.1007/BFB0022277https://doi.org/10.1007/BFb0022277https://dblp.org/rec/conf/csl/Marion94URL#6801582Monica McArthurConvergence and 0-1 Laws for L_inf, omegak under Arbitrary Measures.CSL228-2411994Conference and Workshop Papersclosedconf/csl/McArthur9410.1007/BFB0022259https://doi.org/10.1007/BFb0022259https://dblp.org/rec/conf/csl/McArthur94URL#6801583Yiannis N. MoschovakisGlen T. WhitneyPowerdomains, Powerstructures and Fairness.CSL382-3961994Conference and Workshop Papersclosedconf/csl/MoschovakisW9410.1007/BFB0022270https://doi.org/10.1007/BFb0022270https://dblp.org/rec/conf/csl/MoschovakisW94URL#6801584Hans de NivelleResolution Games and Non-Liftable Resolution Orderings.CSL279-2931994Conference and Workshop Papersclosedconf/csl/Nivelle9410.1007/BFB0022263https://doi.org/10.1007/BFb0022263https://dblp.org/rec/conf/csl/Nivelle94URL#6801585Frank PiessensEric SteegmansCanonical Forms for Data-Specifications.CSL397-4111994Conference and Workshop Papersclosedconf/csl/PiessensS9410.1007/BFB0022271https://doi.org/10.1007/BFb0022271https://dblp.org/rec/conf/csl/PiessensS94URL#6801586Pavel PudlákSamuel R. BussHow to Lie Without Being (Easily) Convicted and the Length of Proofs in Propositional Calculus.CSL151-1621994Conference and Workshop Papersclosedconf/csl/PudlakB9410.1007/BFB0022253https://doi.org/10.1007/BFb0022253https://dblp.org/rec/conf/csl/PudlakB94URL#6801587Vladimir V. RybakovModal Logics Preserving Admissible for S4 Inference Rules.CSL512-5261994Conference and Workshop Papersclosedconf/csl/Rybakov9410.1007/BFB0022279https://doi.org/10.1007/BFb0022279https://dblp.org/rec/conf/csl/Rybakov94URL#6801588Vladimir Yu. SazonovA Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability.CSL527-5411994Conference and Workshop Papersclosedconf/csl/Sazonov9410.1007/BFB0022280https://doi.org/10.1007/BFb0022280https://dblp.org/rec/conf/csl/Sazonov94URL#6801589Klaus U. SchulzOn Existential Theories of List Concatenation.CSL294-3081994Conference and Workshop Papersclosedconf/csl/Schulz9410.1007/BFB0022264https://doi.org/10.1007/BFb0022264https://dblp.org/rec/conf/csl/Schulz94URL#6801590Alexei P. StolboushkinMichael A. TaitslinIs First Order Contained in an Initial Segment of PTIME?CSL242-2481994Conference and Workshop Papersclosedconf/csl/StolboushkinT9410.1007/BFB0022260https://doi.org/10.1007/BFb0022260https://dblp.org/rec/conf/csl/StolboushkinT94URL#6801591Tanel TammetCompleteness of Resolution for Definite Answers with Case Analysis.CSL309-3231994Conference and Workshop Papersclosedconf/csl/Tammet9410.1007/BFB0022265https://doi.org/10.1007/BFb0022265https://dblp.org/rec/conf/csl/Tammet94URL#6801592Paul J. VodaSubrecursion as a Basis for a Feasible Programming Language.CSL324-3381994Conference and Workshop Papersclosedconf/csl/Voda9410.1007/BFB0022266https://doi.org/10.1007/BFb0022266https://dblp.org/rec/conf/csl/Voda94URL#6801593Marek ZaioncLambda Representation of Operations Between Fifferent Term Algebras.CSL91-1051994Conference and Workshop Papersclosedconf/csl/Zaionc9410.1007/BFB0022249https://doi.org/10.1007/BFb0022249https://dblp.org/rec/conf/csl/Zaionc94URL#6801594