Search Results - Alexander Lauer

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules by Lars Fritsche, Jens Kosiol, Alexander Lauer, Adrian Möller, Andy Schürr

    Published in Logical Methods in Computer Science (2024-09-01)
    Get full text
    Article


Search Tools: