PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lugiez, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
Decidable First-Order Transition Logics for PA-Processes.

, and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 342-353. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Denis Dertli University of Stuttgart

Pavel Denisov University of Stuttgart

Denis Ouedraogo University of Stuttgart

Denis Schwachhofer University of Stuttgart

Denis Acker University of Stuttgart

 

Other publications of authors with the same name

A knowledge-based system for computer algebra., and . ACM SIGSAM Bulletin, 21 (1): 7-13 (1987)A Rewrite-Based Type Discipline for a Subset of Computer Algebra., , and . J. Symb. Comput., 11 (4): 349-368 (1991)On the symbolic reduction of processes with cryptographic functions., , and . Theor. Comput. Sci., 290 (1): 695-740 (2003)Decidable First-Order Transition Logics for PA-Processes., and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 342-353. Springer, (2000)Algorithms and Reductions for Rewriting Problems., , and . RTA, volume 1379 of Lecture Notes in Computer Science, page 166-180. Springer, (1998)XML Schema, Tree Logic and Sheaves Automata., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 246-263. Springer, (2003)A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 296-311. Springer, (2004)Counting and Equality Constraints for Multitree Automata.. FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 328-342. Springer, (2003)Research report : Collaborative Peer 2 Peer Edition: Avoiding Conflicts is Better than Solving Conflicts, and . CoRR, (2009)Intruder deduction for the equational theory of Abelian groups with distributive encryption., , and . Inf. Comput., 205 (4): 581-623 (2007)