The following pages link to Olga Stepankova (Q1226868):
Displaying 28 items.
- (Q750424) (redirect page) (← links)
- Counterexamples to a conjecture on relative categoricity (Q750425) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\) (Q800911) (← links)
- Axiomatizability of replete classes (Q802589) (← links)
- On recursive axioms in deductive databases (Q1062477) (← links)
- Classification theory over a predicate. I (Q1083445) (← links)
- Around classification theory of models (Q1088651) (← links)
- The recursive resolution method for modal logic (Q1104915) (← links)
- Some downwards transfer properties for \(\aleph _ 2\) (Q1112023) (← links)
- Many-sorted elementary equivalence (Q1122567) (← links)
- Artificial intelligence in higher education. CEPES-UNESCO international symposium, Prague, CSFR, October 1989. Proceedings (Q1188868) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- A logical theory of robot problem solving (Q1226869) (← links)
- Combinators and categorial grammar (Q1264141) (← links)
- Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142) (← links)
- (Q3221070) (← links)
- (Q3341465) (← links)
- (Q3703313) (← links)
- (Q3949991) (← links)
- (Q4142716) (← links)
- (Q4199571) (← links)
- (Q4540944) (← links)
- (Q4736935) (← links)
- (Q4738886) (← links)
- (Q4813430) (← links)
- (Q5659530) (← links)