Jieh Hsiang

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
On finite representations of infinite sequences of terms	2023-03-09	Paper
Completion procedures as semidecision procedures	2023-03-09	Paper
On fairness of completion-based theorem proving strategies	2022-12-09	Paper
Boolean Rings for Intersection-Based Satisfiability	2008-05-27	Paper
On the hardness of counting problems of complete mappings.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4803650	2003-04-27	Paper
On the enumeration of Abelian \(K\)-complete mappings	2002-09-17	Paper
On the modelling of search in theorem proving -- towards a theory of strategy analysis	1999-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375774	1998-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4332419	1997-08-17	Paper
PSATO: A distributed propositional prover and its application to quasigroup problems	1997-06-16	Paper
Towards a foundation of completion procedures as semidecision procedures	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4847004	1996-05-28	Paper
Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover	1996-04-11	Paper
Recurrence domains: Their unification and application to logic programming	1995-01-01	Paper
On subsumption in distributed derivations	1994-11-10	Paper
Proving refutational completeness of theorem-proving strategies	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4281516	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4036550	1993-05-18	Paper
On rewrite programs: Semantics and relationship with prolog	1992-11-10	Paper
The term rewriting approach to automated theorem proving	1992-11-10	Paper
Automated proofs of the Moufang identities in alternative rings	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805955	1988-01-01	Paper
Rewrite method for theorem proving in first order theory with equality	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028369	1987-01-01	Paper
Automatic inductive theorem proving using Prolog	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786024	1986-01-01	Paper
Refutational theorem proving using term-rewriting systems	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703311	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3732983	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674088	1983-01-01	Paper

Research outcomes over time

This page was built for person: Jieh Hsiang