Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren - Wagner, Franz (1982)
Kiel, Univ., Diss.
Keywords: Computersimulation; Reduktionssystem; Informatik; Beweis; Termersetzungssystem; Simulation; Korrektheit; Hochschulschrift; Sequentielles System