|
Search the dblp DataBase
Marcos Veloso Peixoto:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Laurent Fribourg, Marcos Veloso Peixoto
Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:311-325 [Conf]
- Marcos Veloso Peixoto, Laurent Fribourg
Unfolding Parametric Automata. [Citation Graph (0, 0)][DBLP] LATIN, 1998, pp:88-101 [Conf]
- Irène Guessarian, Marcos Veloso Peixoto
About Boundedness for some DATALOG and DATALOG_neg Programs. [Citation Graph (0, 0)][DBLP] MFCS, 1992, pp:284-297 [Conf]
- Laurent Fribourg, Marcos Veloso Peixoto
Concurrent Constraint Automata. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:656- [Conf]
- Irène Guessarian, Marcos Veloso Peixoto
About Boundedness for Some Datalog and Datalogneg Programs. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1994, v:4, n:4, pp:375-403 [Journal]
Search in 0.001secs, Finished in 0.001secs
|