{"entities":{"Q1301515":{"pageid":1312265,"ns":120,"title":"Item:Q1301515","lastrevid":43012727,"modified":"2025-07-16T21:26:56Z","type":"item","id":"Q1301515","labels":{"en":{"language":"en","value":"Mathematical foundations of computer science 1999. 24th international symposium, MFCS '99, Szklarska Por\u0229ba, Poland, September 6--10, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1332420"}},"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":"Q1301515$9A14430C-0FEE-442A-87E1-B76F3FAD80BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7a0dff2d228fa76f8445cbd78b9abe545663871","datavalue":{"value":{"text":"Mathematical foundations of computer science 1999. 24th international symposium, MFCS '99, Szklarska Por\u0229ba, Poland, September 6--10, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1301515$DDB0B380-6325-4BF8-9B04-C31BB7DD48DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09878b8dec47a360c7fef64f4e05df8955b1824f","datavalue":{"value":"0921.00031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$4E51B8B9-DFCA-4D9A-918C-F3D08E9A8D5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f9c5814e332e6de4e223a7868e99d0100038323","datavalue":{"value":"10.1007/3-540-48340-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$37F90223-CD87-477F-BD73-F3FCC5160057","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":"Q1301515$5C75C598-FA65-46B9-A7D1-71E5EC6DBB2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3e006c0c22ff0ea38e59e0a46a6b704e3d017db","datavalue":{"value":{"time":"+1999-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1301515$E614E534-A3A0-4E42-A708-2A324CC84B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29f8e67f44a7617535751aa5cd2c930e678db0c1","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding symposium (23, 1998) has been indicated (see Zbl 0895.00049).  Indexed articles:  \\textit{Frougny, Christiane}, On-line addition in real base, 1-11 [Zbl 0955.68130]  \\textit{Meer, Klaus}, Query languages for real number databases based on descriptive complexity over \\(R\\), 12-22 [Zbl 0956.68049]  \\textit{Zheng, Xizhong; Weihrauch, Klaus}, The arithmetical hierarchy of real numbers, 23-33 [Zbl 0955.03066]  \\textit{Manzini, Giovanni}, The Burrows-Wheeler transform: Theory and practice, 34-47 [Zbl 1038.94518]  \\textit{G\u0105sieniec, Leszek; Gibbons, Alan; Rytter, Wojciech}, Efficiency of fast parallel pattern searching in highly compressed texts, 48-58 [Zbl 0980.68031]  \\textit{Loyer, Yann; Spyratos, Nicolas; Stamate, Daniel}, Computing and comparing semantics of programs in four-valued logics, 59-69 [Zbl 0947.03046]  \\textit{Mosses, Peter D.}, Foundations of modular SOS, 70-80 [Zbl 0955.68075]  \\textit{Muscholl, Anca; Peled, Doron}, Message sequence graphs and decision problems on Marzurkiewicz traces, 81-91 [Zbl 0955.68084]  \\textit{Durand, Arnaud; Hermann, Miki; Juban, Laurent}, On the complexity of recognizing the Hilbert basis of a linear Diophantine system, 92-102 [Zbl 1024.11013]  \\textit{Havas, George; Seifert, Jean-Pierre}, The complexity of the extended GCD problem, 103-113 [Zbl 0996.11077]  \\textit{Lohrey, Markus}, Complexity results for confluence problems, 114-124 [Zbl 0955.68063]  \\textit{Aceto, Luca; Laroussinie, Fran\u00e7ois}, Is your model checker on time? On the complexity of model checking for timed modal logics, 125-136 [Zbl 0955.68079]  \\textit{Bolotov, Alexander; Dixon, Clare; Fisher, Michael}, Clausal resolution for CTL*, 137-148 [Zbl 0947.03044]  \\textit{Hungar, Hardi}, Model checking and higher-order recursion, 149-159 [Zbl 0961.68083]  \\textit{Ma\u0148uch, J\u00e1n}, Multiparty communication complexity: Very hard functions, 160-169 [Zbl 0956.68067]  \\textit{Herlihy, Maurice; Rajsbaum, Sergio}, New perspectives in distributed computing. (Invited lecture), 170-186 [Zbl 0958.68504]  \\textit{Grudzi\u0144ski, Grzegorz}, An improved disjunctive strictness analysis for lazy functional languages, 187-197 [Zbl 0956.68025]  \\textit{Lassen, S\u00f8ren B.; Moran, Andrew}, Unique fixed point induction for McCarthy's amb, 198-208 [Zbl 0955.68023]  \\textit{Margara, Luciano}, On some topological properties of linear cellular automata, 209-219 [Zbl 0956.68092]  \\textit{Nakamura, Katsuhiko}, Real-time language recognition by one-way and two-way cellular automata, 220-230 [Zbl 0956.68093]  \\textit{Nicaud, Cyril}, Average state complexity of operations on unary automata, 231-240 [Zbl 0955.68068]  \\textit{Petersen, Holger}, Fooling rebound automata, 241-250 [Zbl 0956.68519]  \\textit{Sieling, Detlef}, The complexity of minimizing FBDDs. (Extended abstract), 251-261 [Zbl 0955.68090]  \\textit{Woelfel, Philipp}, Efficient strongly universal and optimally universal hashing. (Extended abstract), 262-272 [Zbl 0955.68035]  \\textit{C\u012brulis, J\u0101nis}, An algebraic approach to knowledge representation, 299-309 [Zbl 0955.68106]  \\textit{Janin, D.; Lenzi, G.}, On the structure of the monadic logic of the binary tree, 310-320 [Zbl 0943.03033]  \\textit{Nguyen, Linh Anh}, A new space bound for the modal logics K4, KD4 and S4, 321-331 [Zbl 0943.03018]  \\textit{Gambin, Anna}, On approximating the number of bases of exchange preserving matroids, 332-342 [Zbl 0945.05012]  \\textit{de Boer, F. S.; de Roever, W.-P.; Hannemann, U.}, The semantic foundations of a compositional proof method for synchronously communicating processes, 343-353 [Zbl 0959.68086]  \\textit{Fr\u00f6schle, Sibylle B.; Hildebrandt, Thomas T.}, On plain and hereditary history-preserving bisimulation, 354-365 [Zbl 0959.68087]  \\textit{St\u0159\u00edbrn\u00e1, Jitka}, Approximating weak bisimulation on basic process algebras, 366-375 [Zbl 0959.68088]  \\textit{Caragiannis, Ioannis; Kaklamanis, Christos; Persiano, Pino}, Edge coloring of bipartite graphs with constraints, 376-386 [Zbl 0945.05024]  \\textit{Fernau, Henning; Niedermeier, Rolf}, An efficient exact algorithm for constraint bipartite vertex cover, 387-397 [Zbl 0945.05055]  \\textit{Bernholt, Thorsten; G\u00fclich, Alexander; Hofmeister, Thomas; Schmitt, Niels}, Football elimination is hard to decide under the 3-point-rule. (Extended abstract), 410-418 [Zbl 0948.90560]  \\textit{Hertrampf, Ulrich}, Generalized regular counting classes, 419-429 [Zbl 0955.68055]  \\textit{Yamakami, Tomoyuki}, A foundation of programming a multi-tape quantum Turing machine, 430-441 [Zbl 0955.68048]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$F7E0DBBC-58DA-436D-B294-64A779A4590D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$14ABB805-A59F-4585-AE14-8CF8661AFCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$AD7245DE-04CD-4E25-BA50-75048F2818B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a2ee95924f6b5cf49d245da0c6a956b41ab080a","datavalue":{"value":"1332420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$59886045-1A4E-492E-AF60-A6F3433BB87C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cbcdb53a052532d31ad934823def86946b097cb","datavalue":{"value":"Szklarska Por\u0229ba (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$D9738F15-C9E4-4AA5-90CE-D953636FC538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$93DBCA44-6485-4F87-96C9-2B90372B56B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$C25AA7B5-7088-40FF-897E-61EC7835ADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac410a2de8ce829f5bf8e6cca2454be2f87dc6e","datavalue":{"value":"MFCS '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$4245CE9F-1503-48FA-81B2-0BAE73C3E396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301515$E072C951-EBE5-460D-B538-70688A215B64","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":"Q1301515$D8C0AFA5-465E-48D3-8193-EE0F033F2D26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae1c64368563422866f5281f2b5a90ae16d8c117","datavalue":{"value":"https://doi.org/10.1007/3-540-48340-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1301515$74465C51-9B04-4B8D-BA11-DD3C8BC0A3B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca189ee45be33b297e4b0d1550e9f3eba67adbcd","datavalue":{"value":"W2492028220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301515$BC99D8EF-9951-42D1-AA39-27AB23FA54D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1301515","badges":[]}}}}}