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) |