Travelled to:
1 × Canada
1 × France
Collaborated with:
L.Fribourg
Talks about:
constraint (2) automata (1) arithmet (1) program (1) datalog (1) concurr (1) bottom (1) evalu (1) up (1)
Person: Marcos Veloso Peixoto
DBLP: Peixoto:Marcos_Veloso
Contributed to:
Wrote 2 papers:
- CADE-1994-FribourgP #bottom-up #constraints #datalog #evaluation #source code
- Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints (LF, MVP), pp. 311–325.
- ILPS-1993-FribourgP #automaton #concurrent #constraints
- Concurrent Constraint Automata (LF, MVP), p. 656.