Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sager, Naomi, Elimination of Alternative Classifications
Sain, Ildikó, Improving a Theorem of Andréka, Monk and Németi in Cylindric Algebraic Model Theory (1982)
Sain, Ildikó, Weak Products for Universal Algebra and Model Theory (1982)
Sain, Ildikó, How to Define the Meaning of Iteration? and Sharpening the Characterization of Pnueli's Programverification Method (Structured Nonstandard Dynamic Logic Part II (1983)
Sain, Ildikó, Structured Nonstandard Dynamic Logic Part I (1983)
Sain, Ildikó, Successor Axioms for Time Increase the Program Verifying Power of Full Computational Induction (1983)
Sain, Ildikó, Total Correctness in Nonstandard Dynamic Logic (1983)
Sain, Ildikó, How to Define the Meaning of Iteration? and Sharpening the Characterization of Pnueli's Programverification Method (Structured Nonstandard Dynamic Logic Part II (1984)
Sain, Ildikó, Beth's and Craig's Properties via Epimorphisms and Amalgamation in Algebraic (1989)
Sakoda, William, Adaptive Recognizers (1975)