{"entities":{"Q1389771":{"pageid":1400511,"ns":120,"title":"Item:Q1389771","lastrevid":68603637,"modified":"2026-04-13T00:52:00Z","type":"item","id":"Q1389771","labels":{"en":{"language":"en","value":"Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170432"}},"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":"Q1389771$24223FE3-D51E-4FAA-B219-7F00A9B85D1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7608ab747895cd5b2f1712cf346a3e25bd9519af","datavalue":{"value":{"text":"Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389771$915FA57D-990A-4533-8B4A-2AE3663294CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42b4be74e9bf35a348dfc2bdd39ea19f54c43788","datavalue":{"value":"0891.00021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$8CBFD9CB-7B29-4E18-A100-C9074C7B2A6B","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":"Q1389771$BCC4AE6D-9EC5-4ECF-BE94-19CCF9C86C89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2c2c7293c0b144623de2383a87e60bd6d031a75","datavalue":{"value":{"time":"+1998-07-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":"Q1389771$2D1A67C6-F871-4BDD-B8F5-71CB7E169F5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac7d0d78a82c6ce0ee57110a618d41c6d2bcf082","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (10th, 1996) has been reviewed (see Zbl 0868.00033).  Indexed articles:  \\textit{Abramsky, Samson; McCusker, Guy}, Call-by-value games, 1-17 [Zbl 0908.03035]  \\textit{Ayari, Abdelwaheb; Basin, David; Podelski, Andreas}, LISA: A specification language based on WS2S, 18-34 [Zbl 0908.03036]  \\textit{Backofen, Rolf; Clote, Peter}, Evolution as a computational engine, 35-55 [Zbl 0914.03046]  \\textit{Baillot, Patrick; Danos, Vincent; Ehrhard, Thomas; Regnier, Laurent}, Timeless games, 56-77 [Zbl 0908.03034]  \\textit{Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon}, From action calculi to linear logic, 78-97 [Zbl 0908.03031]  \\textit{Bonatti, P. A.; Olivetti, N.}, A sequent calculus for circumscription, 98-114 [Zbl 0909.03027]  \\textit{Bonet, Maria Luisa; Galesi, Nicola}, Linear lower bounds and simulations in Frege systems with substitutions, 115-128 [Zbl 0909.03047]  \\textit{Bra\u00fcner, Torben; de Paiva, Valeria}, A formulation of linear logic based on dependency-relations, 129-148 [Zbl 0910.03034]  \\textit{Buss, Sam; Pitassi, Toniann}, Resolution and the weak pigeonhole principle, 149-156 [Zbl 0910.03036]  \\textit{Comon, Hubert; Jurski, Yan}, Higher-order matching and tree automata, 157-176 [Zbl 0911.03006]  \\textit{Coquand, Thierry; Persson, Henrik}, A proof-theoretical investigation of Zantema's problem, 177-188 [Zbl 0910.03033]  \\textit{Durand, Arnaud; Fagin, Ronald; Loescher, Bernd}, Spectra with only unary function symbols, 189-202 [Zbl 0913.03041]  \\textit{Faggian, Claudia}, Classical proofs via basic logic, 203-219 [Zbl 0910.03035]  \\textit{Grohe, Martin}, Canonization for \\(L^k\\)-equivalence is hard, 220-238 [Zbl 0913.03042]  \\textit{Hartonas, Chrysafis; Hennessy, Matthew}, Full abstractness for a functional/concurrent language with higher-order value-passing. (Extended abstract), 239-254 [Zbl 0910.03012]  \\textit{Heckmann, Reinhold; Huth, Michael}, A duality theory for quantitative semantics, 255-274 [Zbl 0908.06004]  \\textit{Hofmann, Martin}, A mixed modal/linear lambda calculus with applications to Bellantoni-Cook safe recursion, 275-294 [Zbl 0908.03022]  \\textit{Hollenberg, Marco}, Equational axioms of test algebra, 295-310 [Zbl 0909.03029]  \\textit{Klarlund, Nils}, Mona \\(\\&\\) Fido: The logic-automaton connection in practice, 311-326 [Zbl 0916.68099]  \\textit{Kupferman, Orna; Kurshan, Robert P.; Yannakakis, Mihalis}, Existence of reduction hierarchies, 327-340 [Zbl 0909.68119]  \\textit{Moschovakis, Yiannis N.}, A game-theoretic, concurrent and fair model of the typed \\(\\lambda\\)-calculus, with full recursion, 341-359 [Zbl 0914.03020]  \\textit{Olive, Fr\u00e9d\u00e9ric}, A conjunctive logical characterization of nondeterministic linear time, 360-372 [Zbl 0914.03049]  \\textit{Pezzoli, Elena}, On the computational complexity of type 2 functionals, 373-388 [Zbl 0910.03027]  \\textit{Power, John}, Categories with algebraic structure, 389-405 [Zbl 0913.18006]  \\textit{Ruet, Paul; Fages, Fran\u00e7ois}, Concurrent constraint programming and non-commutative logic, 406-423 [Zbl 0908.03033]  \\textit{Schiering, Ina}, A hierarchical approach to monadic second-order logic over graphs, 424-440 [Zbl 0914.03006]  \\textit{Schweikardt, Nicole}, The monadic quantifier alternation hierarchy over grids and pictures, 441-460 [Zbl 0909.03009]  \\textit{Schwentick, Thomas}, Padding and the expressive power of existential second-order logics, 461-477 [Zbl 0909.03010]  \\textit{Staiger, Ludwig}, Rich \\(\\omega\\)-words and monadic second-order arithmetic, 478-490 [Zbl 0914.03058]  \\textit{Voda, Paul J.}, A simple ordinal recursive normalization of G\u00f6del's \\(T\\), 491-509 [Zbl 0961.03054]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$8E57C419-1DBE-4651-B180-6EBD70B81A7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$FF7B8064-0964-43AA-BCAC-7C5FFBAD88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$5392EB6B-B604-444F-B85B-D1F529619839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$0D9FD249-49E7-4C2C-BF3A-767F05CE2209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"394660a188ba4d6f03ca18bcb76c505327e32a32","datavalue":{"value":"1170432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$38E84DE4-F685-476B-8B40-EA2988FF85E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92959b674d79fa674bd5fa2b8d17d10c70f00aaa","datavalue":{"value":"Aarhus (Denmark)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$69E985FC-D552-43F3-AEB2-59D77F81A143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$A74AB0DE-790B-43A0-AEA4-A55634E6E01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$9D15C49D-C276-46CC-8B4D-3A837705A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99687b3cfefda7afc78bb83189c799e1e2677636","datavalue":{"value":"CSL '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$D75AF1D4-82A2-4C18-8074-74F6450C2A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e266570abfd2dbb24417bcf760bed9fb5fc2357","datavalue":{"value":"Computer science logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389771$7EBD76C8-41FA-41CB-8FD0-C9C0E4D5CE3A","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":"Q1389771$029084ED-9877-4749-B8A3-0DBF560258AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7abcbd6bfb16145e5e26468f7f2d05559dd6ee82","datavalue":{"value":"10.1007/BFB0028003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389771$97A76FFB-37AE-43F4-AEBF-760A3887668F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_science_logic._11th_international_workshop,_CSL_%2797._Annual_conference_of_the_EACSL,_Aarhus,_Denmark,_August_23--29,_1997._Proceedings"}}}}}