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

Marcos Veloso Peixoto Vis

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

*1998
5EEMarcos Veloso Peixoto, Laurent Fribourg: Unfolding Parametric Automata. LATIN 1998: 88-101
1994
4EELaurent Fribourg, Marcos Veloso Peixoto: Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE 1994: 311-325
3 Irène Guessarian, Marcos Veloso Peixoto: About Boundedness for Some Datalog and Datalogneg Programs. J. Log. Comput. 4(4): 375-403 (1994)
1993
2 Laurent Fribourg, Marcos Veloso Peixoto: Concurrent Constraint Automata. ILPS 1993: 656
1992
1EEIrène Guessarian, Marcos Veloso Peixoto: About Boundedness for some DATALOG and DATALOG_neg Programs. MFCS 1992: 284-297

Coauthor Index

1Laurent Fribourg [2] [4] [5]
2Irène Guessarian [1] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)