Műegyetemi Digitális Archívum

Loop elimination, a sound optimisation technique for PTTP related theorem proving

Date

Type

egyéb konferenciaközlemény

Container Title

Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications

Gender

konferenciaközlemény

OOC works

Abstract

Description

Keywords