| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 2 |      | Frederik Harwath, Nicole Schweikardt: Regular tree languages, cardinality predicates, and addition-invariant FO. STACS 2012: 489-500 |
| 2009 | ||
| 1 | | David Sabel, Manfred Schmidt-Schauß, Frederik Harwath: Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi. GI Jahrestagung 2009: 2931-2945 |
| 1 | David Sabel | [1] |
| 2 | Manfred Schmidt-Schauß | [1] |
| 3 | Nicole Schweikardt | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page