|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paul Tarau |
Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![In: 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., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giovanni Amendola |
Towards Quantified Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![In: 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., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![In: 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., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![In: 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., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi 0001 |
Accountability and Responsibility in Business Processes via Agent Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![In: 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., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Marco Maratea, Mauro Vallati (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCRA@FLoC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|