Peter Borovanský
From MaRDI portal
Person:1601857
Available identifiers
zbMath Open borovansky.peterMaRDI QIDQ1601857
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS | 2015-04-30 | Paper |
| ELAN from a rewriting logic point of view | 2002-08-13 | Paper |
| The use of a strategy language for solving search problems | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222982 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222991 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223001 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223004 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222851 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222858 | 1998-12-20 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Peter Borovanský
