-
1
المؤلفون: E. H. Häusler, Uwe Wolter, Alfio Martini
المصدر: Journal of Logic and Computation. 25:57-93
مصطلحات موضوعية: Theoretical computer science, Logic, Computer science, Semantics (computer science), Preorder, Closure (topology), Logical consequence, Theoretical Computer Science, Syntax (logic), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Operator (computer programming), Arts and Humanities (miscellaneous), Hardware and Architecture, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Formal specification, Adjoint functors, Software