Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
von
Christoph Spörk
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-639-85229-5
ISBN-10: 3-639-85229-X
VDM Verlag
· 2015
