Quantitative Congruence Closure - Extending an Equational Decision Procedure to Metric Reasoning
Abschlussbedingungen
PDF
Klicken Sie auf den Link 'qcc_presentation.pdf', um die Datei anzuzeigen.