Marcos Veloso Peixoto

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Université Paris (PHD)

Education History

Université Paris

PHD

Publications

Marcos Veloso Peixoto, Laurent Fribourg
Unfolding Parametric Automata. LATIN (1998)
Irène Guessarian, Marcos Veloso Peixoto
Programs. J. Log. Comput. 4 (4) (1994)
Laurent Fribourg, Marcos Veloso Peixoto
Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. CADE (1994)
Laurent Fribourg, Marcos Veloso Peixoto
Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints. ILPS Workshop: Constraints and Databases (1994)
Laurent Fribourg, Marcos Veloso Peixoto
Concurrent Constraint Automata. ILPS (1993)
Irène Guessarian, Marcos Veloso Peixoto
About Boundedness for some DATALOG and DATALOG_neg Programs. MFCS (1992)