Germ\'an Vidal

Identifiers

• name variant Germ\'an Vidal 0.60 · backfill

Papers (6)

1. A Theory of Reversibility for Erlang cs.PL · 2018 · author #4
2. Reversible Computation in Term Rewriting cs.PL · 2017 · author #3
3. Towards Reversible Computation in Erlang cs.PL · 2016 · author #3
4. Tuning Fuzzy Logic Programs with Symbolic Execution cs.PL · 2016 · author #3
5. Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation cs.PL · 2012 · author #1
6. Forward slicing of functional logic programs by partial evaluation cs.PL · 2006 · author #2

Mentions

• 1210.1665 #1 · backfill · confidence 0.70 Germ\'an Vidal

Frequent Coauthors

• Adri\'an Palacios 3 shared papers
• Naoki Nishida 3 shared papers
• Gin\'es Moreno 1 shared papers
• Ivan Lanese 1 shared papers
• Jaime Penabad 1 shared papers
• Josep Silva 1 shared papers