Resource-Adaptive Model Generation as a Performance Model

DOI10.1093/jigpal/11.4.435zbMath1061.68158OpenAlexW2043883358MaRDI QIDQ4454093

Alexander Koller, Michael Kohlhase

Publication date: 7 March 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b29eeffc9ebb404805036cfcf037776894271f31

zbMATH Keywords

performance modelsModel generation calculi

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Related Items (1)

Logic-independent proof search in logical frameworks (short paper)

This page was built for publication: Resource-Adaptive Model Generation as a Performance Model