{"entities":{"Q1850309":{"pageid":1861051,"ns":120,"title":"Item:Q1850309","lastrevid":73894827,"modified":"2026-04-14T17:39:13Z","type":"item","id":"Q1850309","labels":{"en":{"language":"en","value":"Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22--25, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1840391"}},"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":"Q1850309$797F487E-E668-4228-9E5C-D62320A4E3AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e46aebef8788f4d82af16f001d0907a572285a77","datavalue":{"value":{"text":"Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22--25, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850309$C065B154-8EFD-441A-A645-C3BC68E7202D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e18295c67347aec975657dc7cf4e85f8b29b94","datavalue":{"value":"1001.00046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$187DC7BE-1F38-4D60-B80C-100B940E67BB","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":"Q1850309$1F7A31F0-FA4A-4D3D-8FA3-3F34058FDAB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d77b9ad71b27c8447698ef69ee23e23f623e26d","datavalue":{"value":{"time":"+2002-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850309$0C43DFC3-7478-4190-83CE-915B8123BED3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea619a035d5c2a94a722eee5a8472c7eaa5c8b57","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (15th, 2001) has been reviewed (see Zbl 0971.00033).  Indexed articles:  \\textit{Hayashi, Susumu; Akama, Yohji}, Limit-computable mathematics and its applications, 1 [Zbl 1020.03509]  \\textit{Neven, Frank}, Automata, logic, and XML, 2-26 [Zbl 1020.68044]  \\textit{Niwi\u0144ski, Damian}, \\(\\mu\\)-calculus via games (extended abstract), 27-43 [Zbl 1020.03510]  \\textit{Kanovich, Max}, Bijections between partitions by two-directional rewriting techniques, 44-58 [Zbl 1020.68042]  \\textit{Aehlig, Klaus; Joachimski, Felix}, On continuous normalization, 59-73 [Zbl 1020.03058]  \\textit{Chernov, Alexey V.; Skvortsov, Dmitriy P.; Skvortsova, Elena Z.; Vereshchagin, Nikolai K.}, Variants of realizability for propositional formulas and the logic of the weak law of excluded middle, 74-88 [Zbl 1020.03022]  \\textit{Bridges, Douglas; Ishihara, Hajime; Schuster, Peter}, Compactness and continuity, constructively revisited, 89-102 [Zbl 1021.03056]  \\textit{Nipkow, Tobias}, Hoare logics for recursive procedures and unbounded nondeterminism, 103-119 [Zbl 1020.03029]  \\textit{Chen, Yifeng}, A fixpoint theory for non-monotonic parallelism, 120-134 [Zbl 1020.68046]  \\textit{\u00c9sik, Zolt\u00e1n; Lei\u00df, Hans}, Greibach normal form in algebraically complete semirings, 135-150 [Zbl 1020.68056]  \\textit{Mairson, Harry G.; Rival, Xavier}, Proofnets and context semantics for the additives, 151-166 [Zbl 1021.03055]  \\textit{Hodas, Joshua S.; L\u00f3pez, Pablo; Polakow, Jeffrey; Stoilova, Lubomira; Pimentel, Ernesto}, A tag-frame system of resource management for proof search in linear-logic programming, 167-182 [Zbl 1020.68020]  \\textit{Galmiche, Didier; M\u00e9ry, Daniel; Pym, David}, Resource tableaux (extended abstract), 183-199 [Zbl 1020.03508]  \\textit{Cenciarelli, Pietro}, Configuration theories, 200-215 [Zbl 1020.68059]  \\textit{Moshier, M. Andrew; Jung, Achim}, A logic for probabilities in semantics, 216-231 [Zbl 1020.68050]  \\textit{Levy, Paul Blain}, Possible world semantics for general storage in call-by-value, 232-246 [Zbl 1020.68047]  \\textit{McCusker, Guy}, A fully abstract relational model of syntactic control of interference, 247-261 [Zbl 1020.68048]  \\textit{Marcinkowski, Jerzy; Truderung, Tomasz}, Optimal complexity bounds for positive LTL games, 262-275 [Zbl 1020.03027]  \\textit{Ku\u010dera, Anton\u00edn; Strej\u010dek, Jan}, The stuttering principle revisited: On the expressiveness of nested \\(X\\) and \\(U\\) operators in the logic LTL, 276-291 [Zbl 1020.03026]  \\textit{Jurdzinski, Marcin; Kupferman, Orna; Henzinger, Thomas A.}, Trading probability for fairness, 292-305 [Zbl 1020.68060]  \\textit{Beauquier, Dani\u00e8le; Rabinovich, Alexander; Slissenko, Anatol}, A logic of probability with decidable model-checking, 306-321 [Zbl 1021.03013]  \\textit{Cachat, Thierry; Duparc, Jacques; Thomas, Wolfgang}, Solving pushdown games with a \\(\\Sigma_3\\) winning condition, 322-336 [Zbl 1020.68049]  \\textit{Kreutzer, Stephan}, Partial fixed-point logic on infinite structures, 337-351 [Zbl 1021.03017]  \\textit{Berwanger, Dietmar; Gr\u00e4del, Erich; Lenzi, Giacomo}, On the variable hierarchy of the modal \\(\\mu\\)-calculus, 352-366 [Zbl 1020.03025]  \\textit{Leivant, Daniel}, Implicit computational complexity for higher type functionals (extended abstract), 367-381 [Zbl 1020.03511]  \\textit{Baaz, Matthias; Moser, Georg}, On generalizations of semi-terms of particularly simple form, 382-396 [Zbl 1021.03051]  \\textit{Barbanchon, R\u00e9gis; Grandjean, Etienne}, Local problems, planar local problems and linear time, 397-411 [Zbl 1020.68038]  \\textit{B\u00f6hler, Elmar; Hemaspaandra, Edith; Reith, Steffen; Vollmer, Heribert}, Equivalence and isomorphism for Boolean constraint satisfaction, 412-426 [Zbl 1020.68039]  \\textit{Faggian, Claudia}, Travelling on designs. Ludics dynamics, 427-441 [Zbl 1020.03059]  \\textit{Faggian, Claudia; Hyland, Martin}, Designs, disputes and strategies, 442-457 [Zbl 1020.03060]  \\textit{Hasegawa, Masahito}, Classical linear logic of implications, 458-472 [Zbl 1021.03054]  \\textit{Goubault-Larrecq, Jean}, Higher-order positive set constraints, 473-489 [Zbl 1020.03012]  \\textit{Ogata, Ichiro}, A proof theoretical account of continuation passing style, 490-505 [Zbl 1020.03030]  \\textit{Kakutani, Yoshihiko}, Duality between call-by-name recursion and call-by-value iteration, 506-521 [Zbl 1021.03016]  \\textit{Schmidt-Schau\u00df, Manfred; Schulz, Klaus U.}, Decidability of bounded higher-order unification, 522-536 [Zbl 1021.03004]  \\textit{Geuvers, Herman; Jojgov, Gueorgui I.}, Open proofs and open terms: A basis for interactive logic, 537-552 [Zbl 1020.03010]  \\textit{Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David}, Logical relations for monadic types, 553-568 [Zbl 1021.03003]  \\textit{Atserias, Albert; Bonet, Mar\u00eda Luisa}, On the automatizability of resolution and related propositional proof systems, 569-583 [Zbl 1020.03008]  \\textit{de Nivelle, Hans}, Extraction of proofs from the clausal normal form transformation, 584-598 [Zbl 1020.03009]  \\textit{Beckmann, Arnold}, Resolution refutations and propositional proofs with height-restrictions, 599-612 [Zbl 1021.03052]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$CCD0F79F-983E-4194-A429-CF1C5B6639C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$6F0E1DB9-007B-42CC-AC7A-18D8FAEF5449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$3E1B31C8-F0F0-429D-9CF5-96F3EC6A3C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$6F35302B-7383-4DDF-8B6F-8B49268562E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$25A0443B-CDAD-4C7C-8EA0-D488EC48B843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$7FB3FDAC-2556-40B6-B54B-A35A7C71988A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eafa82250c030d7e17ab56eebdc72568e935b3b7","datavalue":{"value":"1840391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850309$246AF1E5-4361-425E-8376-D0112535675E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b527d61d8125a4a77d64958ad66ce93378194e","datavalue":{"value":"Edinburgh, Scotland (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$F9BEBBAB-24AB-4392-9542-5F9BBC75FA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80579f9246d3e74beba01d887187d501063d6086","datavalue":{"value":"Proceediongs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$23D8FF9F-089F-4914-8361-18F2C607E10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$5F4613CB-9D4E-49A7-9AA3-BE68825C7D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029ad7786d789722d169aafe307d0763bc540d23","datavalue":{"value":"CSL 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$61B65880-376A-4533-9FF0-EB5C77B8D1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6071aae134b9a15d114756f15b11190602631d3","datavalue":{"value":"EACSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$44CB8AFC-5264-4194-9043-218F4E29B0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850309$67C57E6A-3548-42C2-9B70-4E484C72A853","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":"Q1850309$D87E8A96-1F13-46DE-8322-1A5D7608079B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22--25, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic._16th_international_workshop,_CSL_2002,_11th_annual_conference_of_the_EACSL,_Edinburgh,_Scotland,_GB,_September_22--25,_2002._Proceedings"}}}}}