Marcos Veloso Peixoto

According to our database, Marcos Veloso Peixoto authored at least 7 papers between 1992 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Unfolding Parametric Automata.

Marcos Veloso Peixoto, Laurent Fribourg

Proceedings of the LATIN '98: Theoretical Informatics, 1998

1994

About Boundedness for Some Datalog and Datalog^neg Programs.

Irène Guessarian, Marcos Veloso Peixoto

J. Log. Comput., 1994

Bottom-Up Evaluation of Datalog Programs with Incremental Arguments and Linear Arithmetic Constraints.

Laurent Fribourg, Marcos Veloso Peixoto

Proceedings of the ILPS 1994, 1994

Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints.

Laurent Fribourg, Marcos Veloso Peixoto

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques.

Marcos Veloso Peixoto

PhD thesis, 1994

1993

Concurrent Constraint Automata.

Laurent Fribourg, Marcos Veloso Peixoto

Proceedings of the Logic Programming, 1993

1992

About Boundedness for some DATALOG and DATALOG_neg Programs.

Irène Guessarian, Marcos Veloso Peixoto

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992