BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × United Kingdom
Collaborated with:
K.Horiuchi H.Fujita H.Seki
Talks about:
program (3) prolog (2) verif (2) construct (1) general (1) formula (1) unfold (1) induct (1) formul (1) extens (1)

Person: Tadashi Kanamori

DBLP DBLP: Kanamori:Tadashi

Contributed to:

ICLP 19871987
CADE 19861986
ICLP 19861986

Wrote 3 papers:

ICLP-1987-KanamoriH87 #logic programming #source code
Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.
CADE-1986-KanamoriF #induction #prolog #source code #verification
Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.
ICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification
Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.