{"entities":{"Q5947958":{"pageid":8124760,"ns":120,"title":"Item:Q5947958","lastrevid":25469079,"modified":"2024-03-04T22:45:15Z","type":"item","id":"Q5947958","labels":{"en":{"language":"en","value":"Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4--6, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1666889"}},"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":"Q5947958$81F8D8A4-BEF6-4F92-B376-3F551D257907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c172cc202fd334093c4f3b0d7787852fb7f5a624","datavalue":{"value":{"text":"Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4--6, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947958$3A6EE261-8124-494C-BC86-E231A7F3B462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a82fc08b349a42f36bd186b1c7eb6adcb7cc32","datavalue":{"value":"0971.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947958$CA99DEE1-D116-44D9-970C-1FFF7B9E3C52","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":"Q5947958$51C2E881-C313-4FFD-B6AD-B01BBFE102D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db3817d161b0670e4149da15035f59b540781716","datavalue":{"value":{"time":"+2001-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947958$5BF68580-D3FF-44F5-8738-15CDB7C22315","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01c9a13f20752adf7680fb4dde2fc3c9b68a6b07","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (6th, 1998) has been reviewed (see Zbl 0943.68057).  Indexed articles:  \\textit{Ferrari, GianLuigi; Montanari, Ugo; Tuosto, Emilio}, A LTS semantics of ambients via graph synchronization with mobility, 1-16 [Zbl 1042.68615]  \\textit{Alessi, Fabio; Dezani-Ciancaglini, Mariangiola; Honsell, Furio}, Filter models and easy terms, 17-37 [Zbl 1042.03014]  \\textit{Ghilezan, Silvia; Kuncak, Viktor}, Confluence of untyped lambda calculus via simple types, 38-49 [Zbl 1042.03016]  \\textit{Coppo, Mario; Hirschkoff, Daniel}, Incremental inference of partial types, 50-73 [Zbl 1042.68029]  \\textit{Paolini, Luca}, Call-by-value separability and computability, 74-89 [Zbl 1042.68030]  \\textit{Hromkovic, Juraj; Steinh\u00f6fel, Kathleen; Widmayer, Peter}, Job shop scheduling with unit length tasks: bounds and algorithms, 90-106 [Zbl 1042.90020]  \\textit{Jansen, Klaus; Mastrolilli, Monaldo; Solis-Oba, Roberto}, Job shop scheduling problems with controllable processing times, 107-122 [Zbl 1042.90021]  \\textit{Mereghetti, Carlo; Palano, Beatrice}, Upper bounds on the size of one-way quantum finite automata, 123-135 [Zbl 1042.68066]  \\textit{Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo; Sabadini, Nicoletta}, P systems with gemmation of mobile membranes, 136-153 [Zbl 1042.68044]  \\textit{Prencipe, Giuseppe}, Instantaneous actions vs. full asynchronicity : Controlling and coordinating a set of autonomous mobile robots, 154-171 [Zbl 1042.68677]  \\textit{Cherubini, Alessandra; Crespi Reghizzi, Stefano; San Pietro, Pierluigi}, Some structural properties of associative language descriptions, 172-183 [Zbl 1042.68608]  \\textit{Giammarresi, Dora; Montalbano, Rosa; Wood, Derick}, Block-deterministic regular languages, 184-196 [Zbl 1042.68062]  \\textit{Anselmo, Marcella}, Constructing finite maximal codes from Sch\u00fctzenberger conjecture, 197-214 [Zbl 1042.68058]  \\textit{Ancona, Davide; Anderson, Christopher; Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola; Zucca, Elena}, An effective translation of \\({\\mathcal F}\\)ickle into Java, 215-234 [Zbl 1042.68534]  \\textit{Bugliesi, Michele; Castagna, Giuseppe; Crafa, Silvia}, Subtyping and matching for mobile objects, 235-255 [Zbl 1042.68537]  \\textit{Cacciagrano, Diletta; Corradini, Flavio}, On synchronous and asynchronous communication paradigms, 256-268 [Zbl 1042.68614]  \\textit{Jacobsen, Lars; Larsen, Kim S.}, Complexity of layered binary search trees with relaxed balance, 269-284 [Zbl 1042.68546]  \\textit{Fiala, Ji\u0159\u00ed; Kratochv\u00edl, Jan; Proskurowski, Andrzej}, Distance constrained labeling of precolored trees, 285-292 [Zbl 1042.68545]  \\textit{Jacobsen, Lars; Larsen, Kim S.}, Exponentially decreasing number of operations in balanced trees, 293-311 [Zbl 1042.68547]  \\textit{Ausiello, Giorgio; Franciosa, Paolo G.; Frigioni, Daniele}, Directed hypergraphs: Problems, algorithmic results, and a novel decremental approach, 312-327 [Zbl 1042.68084]  \\textit{Kaporis, Alexis C.; Kirousis, Lefteris M.; Stamatiou, Yannis C.; Vamvakari, Malvina; Zito, Michele}, Coupon collectors, \\(q\\)-binomial coefficients and the unsatisfiability threshold, 328-338 [Zbl 1042.68606]  \\textit{Gro\u00dfe, Andr\u00e9; Rothe, J\u00f6rg; Wechsung, Gerd}, Relating partial and complete solutions and the complexity of computing smallest solutions, 339-356 [Zbl 1042.68605]  \\textit{D'Arco, Paolo}, On the distribution of a key distribution center, 357-369 [Zbl 1042.68565]  \\textit{Cimato, Stelvio; De Bonis, Annalisa}, Online advertising: Secure e-coupons, 370-383 [Zbl 1042.68564]  \\textit{Olivetti, Nicola; Schwind, Camilla B.}, A calculus and complexity bound for minimal conditional logic, 384-404 [Zbl 1042.03023]  \\textit{Baldoni, Matteo; Giordano, Laura; Martelli, Alberto; Patti, Viviana}, Reasoning about complex actions with incomplete knowledge: A modal approach, 405-425 [Zbl 1042.68027]  \\textit{Viola, Emanuele}, E-unifiability via narrowing, 426-438 [Zbl 1042.68101]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$9FBD2ACF-C6BC-4BCE-B62D-A79E125B3B02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947958$DF80323D-05A1-4B44-9153-73F0ADCD12D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947958$0248275C-FCAF-41C3-A87C-0ED7E068C4C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df346456e2966b75ec2bdf5278a9209928dd7af8","datavalue":{"value":"1666889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947958$3D6F3A89-F2E6-47B9-9E1A-B861670A5015","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16b7b659cf8993f2c71b6a1c1a3437ea03698d7a","datavalue":{"value":"Torino (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$1D7581FD-025C-4752-A39D-B33C5D1B37F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$9168AB17-60C1-483E-ACEF-86B88931D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$77595C46-1D56-4247-88B9-47EA52B97A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd4dfb852f740715f336e8e05ae930454cca33a","datavalue":{"value":"ICTCS 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$9CF33F73-A8EE-4D20-BB38-341BA14E5596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c375465c0e95e14e74428516f5dea4f5b18df1be","datavalue":{"value":"Theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947958$23A087DC-933D-499F-833F-BBD33A622651","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":"Q5947958$72062969-E4D0-4D49-A808-B0C6FA082B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5947958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5947958"}}}}}