( en | de | ru )

 

Disambiguierung von "Godoy, Guillem"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.

, , , und . CSEDU (2), Seite 93-98. SciTePress, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Guillem Usandizaga

Maren Rebolledo Godoy

Juan Miquel Godoy Ramsay

Fliesslochformen und Gewindefurchen in dünne Bleche und Rohre aus Kupfer und Kupferlegierungen. Uni Kassel, (2009)

Alejandra Godoy-Haeberle

José Rodrigo Godoy Berthet

 

Weitere Publikationen von Autoren mit dem selben Namen

Normalization properties for Shallow TRS and Innermost Rewriting.. Appl. Algebra Eng. Commun. Comput., 21 (2): 109-129 (2010)Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems., und . RTA, Volume 4533 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2007)Orderings for Innermost Termination., , und . RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2005)Termination of Rewriting with Right-Flat Rules., , und . RTA, Volume 4533 von Lecture Notes in Computer Science, Seite 200-213. Springer, (2007)One-context Unification with STG-Compressed Terms is in NP., , und . RTA, Volume 15 von LIPIcs, Seite 149-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , und . J. Autom. Reason., 51 (4): 371-400 (2013)On the Confluence of Linear Shallow Term Rewrite Systems., , und . STACS, Volume 2607 von Lecture Notes in Computer Science, Seite 85-96. Springer, (2003)Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions., , , und . CSEDU (2), Seite 93-98. SciTePress, (2011)Deciding confluence of certain term rewriting systems in polynomial time., , und . Ann. Pure Appl. Log., 130 (1-3): 33-59 (2004)Automatic Evaluation of Reductions between NP-Complete Problems., , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 415-421. Springer, (2014)