Sign in
RCRA@FLoC
2018
2018
2018
Keyphrases
Publications
2018
Paul Tarau
Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic.
RCRA@FLoC
(2018)
Giovanni Amendola
Towards Quantified Answer Set Programming.
RCRA@FLoC
(2018)
Toni Mancini
,
Enrico Tronci
,
Agostino Scialanca
,
Filiberto Lanciotti
,
Alberto Finzi
,
Riccardo Guarneri
,
Silvia Di Pompeo
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network.
RCRA@FLoC
(2018)
Toni Mancini
,
Federico Mari
,
Annalisa Massini
,
Igor Melatti
,
Ivano Salvo
,
Stefano Sinisi
,
Enrico Tronci
,
Rainald Ehrig
,
Susanna Röblitz
,
Brigitte Leeners
Computing Personalised Treatments through In Silico Clinical Trials.
RCRA@FLoC
(2018)
Matteo Baldoni
,
Cristina Baroglio
,
Roberto Micalizio
,
Stefano Tedeschi
Accountability and Responsibility in Business Processes via Agent Technology.
RCRA@FLoC
(2018)
volume 2271, 2018
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018.
RCRA@FLoC
2271 (2018)