{"entities":{"Q1894635":{"pageid":1905377,"ns":120,"title":"Item:Q1894635","lastrevid":69212967,"modified":"2026-04-13T05:31:15Z","type":"item","id":"Q1894635","labels":{"en":{"language":"en","value":"Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 781062"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894635$7EE6A9BB-F42C-4750-B24C-2B240E492267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbb29ec79785fee277a708f929b1255b18bebae2","datavalue":{"value":{"text":"Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894635$345006A6-E78F-4F1F-A012-5B2C02AB2E88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6617617262194e4c6e885bdff2cf7cfd3aed2401","datavalue":{"value":"0847.00048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$8F07DAE8-8A1A-4E8F-81E7-5493AF7FB171","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894635$B0ACB3F9-A316-4B5A-A6F7-04F4A48C477D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df2091f56edb46baab3d2fe39f03e68cc5a43a6","datavalue":{"value":{"time":"+1995-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894635$3A243F89-DC57-4EFF-BCFF-3FA92D9D7405","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0e2f965776df35dcea5edeb24c05baa68606f65","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. For the preceeding workshop see [Zbl 0852.00043].  Indexed articles:  \\textit{Aspinall, David}, Subtyping with singleton types, 1-15 [Zbl 1044.68541]  \\textit{Bono, Viviana; Liquori, Luigi}, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, 16-30 [Zbl 1044.03507]  \\textit{Bra\u00fcner, Torben}, The Girard translation extended with recursion, 31-45 [Zbl 1044.03508]  \\textit{Compagnoni, Adriana B.}, Decidability of higher-order subtyping with intersection types, 46-60 [Zbl 1044.03520]  \\textit{Herbelin, Hugo}, A \\(\\lambda\\)-caclulus structure isomorphic to Gentzen-style sequent calculus structure, 61-75 [Zbl 1044.03509]  \\textit{Kuper, Jan}, Usability: Formalising (un)definedness in typed lambda calculus, 76-90 [Zbl 1044.03510]  \\textit{Zaionc, Marek}, Lambda representation of operations between different term algebras, 91-105 [Zbl 1044.03512]  \\textit{Baaz, Matthias; Salzer, Gernot}, Semi-unification and generalizations of a particularly simple form, 106-120 [Zbl 1044.03540]  \\textit{Benton, P. N.}, A mixed linear and non-linear logic: Proofs, terms and models (extended abstract)., 121-135 [Zbl 1044.03543]  \\textit{Gordeev, L.}, Cut free formalization of logic with finitely many variables. I., 136-150 [Zbl 1044.03539]  \\textit{Pudl\u00e1k, Pavel; Buss, Samuel R.}, How to lie without being (easily) convicted and the lengths of proofs in propositional calculus, 151-162 [Zbl 1044.03542]  \\textit{Courcelle, Bruno}, Monadic second-order logic and linear orderings of finite structures, 163-176 [Zbl 1044.03502]  \\textit{Durand, Arnaud; Ranaivoson, Solomampionona}, First-order spectra with one binary predicate, 177-189 [Zbl 1044.03523]  \\textit{Grandjean, Etienne; Olive, Fr\u00e9d\u00e9ric}, Monadic logical definability of NP-complete problems, 190-204 [Zbl 1044.68629]  \\textit{Lautemann, Clemens; Schwentick, Thomas; Th\u00e9rien, Denis}, Logics for context-free languages, 205-216 [Zbl 1044.68631]  \\textit{Malmstr\u00f6m, Anders}, Log-approximable minimization problems on random inputs, 217-227 [Zbl 1044.68628]  \\textit{McArthur, Monica}, Convergence and 0-1 laws for \\(L^k_{\\infty,\\omega}\\) under arbitrary measures, 228-241 [Zbl 1044.03525]  \\textit{Stolboushkin, Alexei P.; Taitslin, Michael A.}, Is first order contained in an initial segment of PTIME?, 242-248 [Zbl 1044.03527]  \\textit{Finkelstein, Stacy E.; Freyd, Peter; Lipton, James}, Logic programming in tau categories, 249-263 [Zbl 1044.68538]  \\textit{Kriau\u010diukas, Valentinas; Walicki, Micha\u0142}, Reasoning and rewriting with set-relations. I: Ground completeness, 264-278 [Zbl 1044.68650]  \\textit{de Nivelle, Hans}, Resolution games and non-liftable resolution orderings, 279-293 [Zbl 1044.03506]  \\textit{Schulz, Klaus U.}, On existential theories of list concatenation, 294-308 [Zbl 1044.68539]  \\textit{Tammet, Tanel}, Completeness of resolution for definite answers with case analysis, 309-323 [Zbl 1044.03505]  \\textit{Voda, Paul J.}, Subrecursion as a basis for a feasible programming language, 324-338 [Zbl 1044.68536]  \\textit{Crole, Roy L.; Gordon, Andrew D.}, A sound metalogical semantics for input/output effects, 339-353 [Zbl 1044.68667]  \\textit{Fairtlough, Matt; Mendler, Michael}, An intuitionistic modal logic with applications to the formal verification of hardware, 354-368 [Zbl 1044.03514]  \\textit{Lester, David; Mintchev, Sava}, Towards machine-checked compiler correctness for higher-order pure functional languages, 369-381 [Zbl 1044.68546]  \\textit{Moschovakis, Yiannis N.; Whitney, Glen T.}, Powerdomains, powerstructures and fairness, 382-396 [Zbl 1044.68668]  \\textit{Piessens, Frank; Steegmans, Eric}, Canonical forms for data-specifications, 397-411 [Zbl 1044.68669]  \\textit{Hermida, Claudio; Jacobs, Bart}, An algebraic view of structural induction, 412-426 [Zbl 1044.68678]  \\textit{Hofmann, Martin}, On the interpretation of type theory in locally Cartesian closed categories, 427-441 [Zbl 1044.03544]  \\textit{Chagrov, Alexander V.; Shehtman, Valentin B.}, Algorithmic aspects of propositional tense logics, 442-455 [Zbl 1044.03513]  \\textit{Cholewi\u0144ski, Pawe\u0142}, Stratified default theories, 456-470 [Zbl 1044.68812]  \\textit{Klarlund, Nils}, A homomorphism concept for \\(\\omega\\)-regularity, 471-485 [Zbl 1044.68657]  \\textit{Leivant, Daniel; Marion, Jean-Yves}, Ramified recurrence and computational complexity. II: Substitution and poly-space, 486-500 [Zbl 1044.03526]  \\textit{Marandjian, Hrant B.}, General form recursive equations. I, 501-511 [Zbl 1044.03530]  \\textit{Rybakov, Vladimir V.}, Modal logics preserving admissible for S4 inference rules, 512-526 [Zbl 1044.03515]  \\textit{Sazonov, Vladimir Yu.}, A bounded set theory with anti-foundation axiom and inductive definability, 527-541 [Zbl 1044.03532]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$C6D3EDE1-23C3-4130-83FB-86A1DBE92BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$6C9F31DB-4530-483A-82AF-38264B4438A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$4D0359B0-5A06-4034-A0DF-A28BD1D25F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$66ECE862-E065-49FE-94DC-6A23610777B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55414510d101ae15f9e15865c98ca86cd5bc3c38","datavalue":{"value":"781062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$5484402A-838D-483F-A353-291B5C5E504B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$5290BD2A-DE83-46A1-9C67-5347547ADB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$E4965746-027B-416A-A9D4-C4B006443882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35aba30417ae4738b6bb1f8ee938753ea17379ac","datavalue":{"value":"CSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$9861DE29-8EAD-4E2A-BB7D-36006D6C5C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$13C7D79F-9C94-4B64-B9E0-34127087C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$A9B54CCB-72E4-48E5-BC95-A5D920282924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e918ff0e075634e6f897d55b6302a8e87c0b9ae","datavalue":{"value":"Kazimierz (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894635$FF1426EF-ED1F-46DA-9823-234AF98E45CD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894635$4208DA68-5E57-452B-A5D9-BF326FA0CC70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d356c3a4e7af7403cc1626e51e5a43b5f2a34dcb","datavalue":{"value":"https://doi.org/10.1007/bfb0022242","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894635$4B62DF2F-7674-4AA7-BFFF-8F5C0A1AA50F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1486aeb2d7bd9dc86af95cf278137aae1ebfca86","datavalue":{"value":"W2504979510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$DDFCCDFA-5066-4B21-B0AA-755BE965767E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d757f2ee21c7e1069f3c3653aad429683843a3c","datavalue":{"value":"10.1007/BFB0022242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894635$1F351E1D-FC2E-4F7D-B143-89D13B43D22C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic._8th_workshop,_CSL_%2794,_Kazimierz,_Poland,_September_25-30,_1994._Selected_papers"}}}}}