Mail an Autor*in

Nominal unification with atom and context variables (Arbeitspapier)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



 
           _    _               _____     ____      _____   
    ___   | || | ||     ___    |  ___||  |  _ \\   |  ___|| 
   /   || | || | ||    /   ||  | ||__    | |_| ||  | ||__   
  | [] || | \\_/ ||   | [] ||  | ||__    | .  //   | ||__   
   \__ ||  \____//     \__ ||  |_____||  |_|\_\\   |_____|| 
    -|_||   `---`       -|_||  `-----`   `-` --`   `-----`  
     `-`                 `-`
 


Zurück zur Frontdoor

OPUS4 Logo