2 Bücher 

Wissenschaftliche Literatur Temporallogik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Nominale Logik der Zeit (Forschungsarbeit)Zum Shop

Nominale Logik der Zeit

BOETHIANA – Forschungsergebnisse zur Philosophie

Das historisch erste System einer temporalen Logik auf der Basis einer Zeittheorie, die bereits Leibniz bei seinem Disput mit Clarke/Newton vorgeschlagen hat. [...]

Gottfried Wilhelm LeibnizLogikNominale LogikPhilosophieSprachphilosophieSprachtheorieTemporallogikZeitZeittheorie
Transformationsbasierte temporallogische Programmierung (Forschungsarbeit)Zum Shop

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch vergangenheitsbezogene Operationen wie…

ExTeLLInformatikProgrammierlogikProgrammierspracheProgrammierungReduktionTemporallogikTransformation