The following pages link to Ursula Martin Webb (Q1169557):
Displaying 23 items.
- (Q199256) (redirect page) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Automating the Knuth Bendix ordering (Q751830) (← links)
- A note on division orderings on strings (Q918714) (← links)
- Extension functions for multiset orderings (Q1104349) (← links)
- Unification in Boolean rings (Q1112626) (← links)
- A geometrical approach to multiset orderings (Q1119955) (← links)
- An independence result for group automorphisms (Q1169558) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Invariants, patterns and weights for ordering terms (Q1581131) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- The number of stem covers of an elementary Abelian p-group (Q1839315) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- The automorphism group of a finite \(p\)-group is almost always a \(p\)-group. (Q2370216) (← links)
- The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal (Q2401269) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Mathematical Practice, Crowdsourcing, and Social Machines (Q2843008) (← links)
- A general framework for sound and complete Floyd-Hoare logics (Q2946594) (← links)
- (Q3218155) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
- Panelist position statement: logic and models in computer science (Q5301854) (← links)
- Computational logic and the social (Q5739970) (← links)
