Peter Borovanský

From MaRDI portal
Person:1601857

Available identifiers

zbMath Open borovansky.peterMaRDI QIDQ1601857

List of research outcomes





PublicationDate of PublicationType
Implementation of higher-order unification based on calculus of explicit substitution2024-07-17Paper
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS2015-04-30Paper
ELAN from a rewriting logic point of view2002-08-13Paper
The use of a strategy language for solving search problems2002-06-27Paper
https://portal.mardi4nfdi.de/entity/Q42230011999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42229821999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42229911999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42230041999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42228511998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42228581998-12-20Paper

Research outcomes over time

This page was built for person: Peter Borovanský

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1601857&oldid=6360806"
Powered by MediaWiki