The following pages link to Peter H. Schmitt (Q1202018):
Displayed 50 items.
- (Q788715) (redirect page) (← links)
- (Q1071317) (redirect page) (← links)
- Algebraically complete lattices (Q788716) (← links)
- Disks with special properties of densest packings (Q807978) (← links)
- n-homeohedral types of tilings (Q911053) (← links)
- Locally pure topological Abelian groups: Elementary invariants (Q1055767) (← links)
- Pairs of tiles which admit finitely or countably infinitely many tilings (Q1071318) (← links)
- Sets of tiles with a prescribed number of tilings (Q1092913) (← links)
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing) (Q1102939) (← links)
- Theory of logic programming. An elementary introduction (Q1202019) (← links)
- Spreading information by conferences (Q1225618) (← links)
- Normal double Stone algebras (Q1239750) (← links)
- Triples of prototiles (with prescribed properties) in space (Q1280242) (← links)
- The liberalized \(\delta\)-rule in free variable semantic tableaux (Q1344882) (← links)
- Spacefilling knots (Q1368010) (← links)
- Proving JDK's dual pivot quicksort correct (Q1630025) (← links)
- A mechanizable first-order theory of ordinals (Q1694476) (← links)
- \(\sigma\)-morphic sets of prototiles (Q1821357) (← links)
- Erzeugung äquivalenter Summierungsverfahren durch Matrizenprodukte (Q1846563) (← links)
- (Q2753605) (← links)
- (Q3030843) (← links)
- (Q3043800) (← links)
- Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
- (Q3200598) (← links)
- (Q3206888) (← links)
- Undecidable theories of valuated abelian groups (Q3218311) (← links)
- The $L^t$-theory of profinite abelian groups (Q3335765) (← links)
- (Q3407725) (← links)
- Information Flow in Object-Oriented Software (Q3453646) (← links)
- (Q3709427) (← links)
- (Q3728918) (← links)
- Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem (Q3734374) (← links)
- (Q3741619) (← links)
- (Q3786473) (← links)
- (Q3815282) (← links)
- (Q3816969) (← links)
- (Q3822777) (← links)
- (Q3825657) (← links)
- Undecidable <i>L<sup>t</sup></i> theories of topological abelian groups (Q3939789) (← links)
- The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup (Q3958440) (← links)
- (Q4001636) (← links)
- (Q4013973) (← links)
- (Q4013974) (← links)
- (Q4059338) (← links)
- (Q4063243) (← links)
- (Q4104034) (← links)
- (Q4121893) (← links)
- (Q4274010) (← links)
- (Q4282596) (← links)
- A description of the tableau method using abstract state machines (Q4365324) (← links)
- (Q4436034) (← links)