المؤلفون: Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q60, F.3.1

الوصول الحر: http://arxiv.org/abs/2402.07230Test

المؤلفون: Miller, Dale, Scagnetto, Ivan

المصدر: EPTCS 307, 2019

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1910.08712Test

المؤلفون: Crestani, Fabio, Mizzaro, Stefano, Scagnetto, Ivan

مصطلحات موضوعية: Computer Science - Information Retrieval, Computer Science - Digital Libraries, Computer Science - Human-Computer Interaction

الوصول الحر: http://arxiv.org/abs/1902.01790Test

المؤلفون: Honsell, Furio, Liquori, Luigi, Stolze, Claude, Scagnetto, Ivan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1808.04193Test

المؤلفون: Ciaffaglione, Alberto, Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/1806.06759Test

المؤلفون: Honsell, Furio, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

المصدر: Logical Methods in Computer Science, Volume 13, Issue 3 (July 6, 2017) lmcs:3771

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

الوصول الحر: http://arxiv.org/abs/1702.07214Test

المؤلفون: Odetti, Angelo, Bruzzone, Gabriele, Ferretti, Roberta, Aracri, Simona, Carotenuto, Federico, Vagnoli, Carolina, Zaldei, Alessandro, Scagnetto, Ivan

المصدر: Remote Sensing; Jun2024, Vol. 16 Issue 11, p1998, 23p

مصطلحات موضوعية: GLOBAL Positioning System, AUTONOMOUS vehicles, BODIES of water, WETLANDS monitoring, SENSOR placement, MODULAR design, LIGHT emitting diodes

المؤلفون: Honsell, Furio, Liquori, Luigi, Maksimović, Petar, Scagnetto, Ivan

المصدر: EPTCS 185, 2015, pp. 3-17

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.3.1, F.4.1

الوصول الحر: http://arxiv.org/abs/1507.08051Test

المؤلفون: De Piante, Marco, Midrio, Michele, Rinaldo, Roberto, Scagnetto, Ivan, Specogna, Ruben, Trevisan, Francesco

المصدر: Sensors (14248220); Apr2024, Vol. 24 Issue 8, p2582, 21p

مصطلحات موضوعية: RADIO wave propagation, DEW point, DATA transmission systems, MARINE communication, AREA measurement

المؤلفون: Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan

المساهمون: Furio Honsell and Marina Lenisa and Ivan Scagnetto

مصطلحات موضوعية: game semantics, lambda calculus, involutions, linear logic, implicit computational complexity

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 188, 26th International Conference on Types for Proofs and Programs (TYPES 2020); urn:nbn:de:0030-drops-138867; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2020.7Test

الإتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2020.7Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-138867Test