Peter Borovanský

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implementation of higher-order unification based on calculus of explicit substitution	2024-07-17	Paper
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS International Journal of Foundations of Computer Science	2015-04-30	Paper
ELAN from a rewriting logic point of view Theoretical Computer Science	2002-08-13	Paper
The use of a strategy language for solving search problems Annals of Mathematics and Artificial Intelligence	2002-06-27	Paper
scientific article; zbMATH DE number 1231673 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231657 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231665 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231676 (Why is no real title available?)	1999-01-07	Paper
scientific article; zbMATH DE number 1231535 (Why is no real title available?)	1998-12-20	Paper
scientific article; zbMATH DE number 1231542 (Why is no real title available?)	1998-12-20	Paper

Research outcomes over time

This page was built for person: Peter Borovanský