Computational logic and quantifier elimination techniques for (semi-)automatic static analysis and synthesis of algorithms / eingereicht von: Mǎdǎlina Erascu
ger: In dieser Arbeit werden logische und algebraische Zug\"ange zur Analyse von imperativenrekursiven Algorithmen sowie zur Synthese von optimalen Algorithmen pr\"asentiert.<br />Zun\"achst entwickeln und formalisieren wir eine Methode zur Verifikation von imperativenrekursiven...
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | 2012 |
Year of Publication: | 2012 |
Language: | English |
Subjects: | |
Classification: | 31.76 - Numerische Mathematik 54.10 - Theoretische Informatik 31.10 - Mathematische Logik. Mengenlehre |
Physical Description: | VIII, 109, 4 S. |
Notes: | Zsfassung in dt. und engl. Sprache |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
A symbolic framework for general polynomial domains in theorema : applications to boundary problems / eingereicht von: Elena Loredana Tec
by: Tec, Elena Loredana
Published: (2011) -
Computational geometry : algorithms and applications / Mark de Berg ...
Published: (1997) -
Computational geometry : an introduction / Franco P. Preparata ; Michael Ian Shamos
by: Preparata, Franco P.
Published: (1985) -
Algorithmische Geometrie : polyedrische und algebraische Methoden ; [Bachelor geeignet] / Michael Joswig ; Thorsten Theobald
by: Joswig, Michael
Published: (2008) -
Proceedings of the ... Annual Symposium on Computational Geometry
Published: (1985-1999)