25 citations · 40 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Dale Miller, Ivan Scagnetto
This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on J…
cs.IR2019★ 25 cited
Mobile Information Retrieval
Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto
Mobile Information Retrieval (Mobile IR) is a relatively recent branch of Information Retrieval (IR) that is concerned with enabling users to carry out, using a mobile device, all…