The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Il Milione"( http://dblp.L3S.de/Venues/Il_Milione )

URL (DBLP): http://dblp.uni-trier.de/db/conf/birthday

Publication years (Num. hits)
2008 (16)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1José Júlio Alferes, Federico Banti, Antonio Brogi Evolving Reactive Logic Programs. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli Computational Logic in Genova. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza DALI, RASP, Mnemosine: Computational Logic at Work. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Agostino Dovier Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà Logic Programming in DataLog: A Long Tour from Theory to Practice. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Gianfranco Rossi From Set Unification to Set Constraints. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program Transformation for Development, Verification, and Synthesis of Software. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Paolo Mancarella, Francesca Toni Computational Logic and Agent Based Systems. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Annalisa Bossi, Nicoletta Cocco A Valuable Experience in Computational Logic. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind Non-Classical Logics for Knowledge Representation and Reasoning. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni Modeling and Verification of Business Processes and Choreographies in ALP. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio, Viviana Patti Multimodal Logics for Reasoning about Interaction. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Giulio Piancastelli, Andrea Omicini, Enrico Denti Towards a Logic Language and Framework for Web Programming. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Matteo Baldoni, Cristina Baroglio (eds.) Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Piero A. Bonatti On the decidability of FDNC programs. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license