dblp.uni-trier.dewww.uni-trier.de

Marcos Veloso Peixoto (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcos Veloso Peixoto, Laurent Fribourg: Unfolding Parametric Automata. LATIN 1998: 88-101
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Fribourg, Marcos Veloso Peixoto: Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE 1994: 311-325
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Fribourg, Marcos Veloso Peixoto: Concurrent Constraint Automata. ILPS 1993: 656

Selection of 3 from 5 records - Marcos Veloso Peixoto has 2 coauthors

Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)