Instantiation of existentially quantified variables in inductive specification proofs

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/bfb0055917 ◽

1998 ◽

pp. 247-258 ◽

Cited By ~ 4

Author(s):

Brigitte Pientka ◽

Christoph Kreitz

Keyword(s):

Inductive Specification

Download Full-text

Automating Inductive Specification Proofs

Fundamenta Informaticae ◽

10.3233/fi-1999-391210 ◽

1999 ◽

Vol 39 (1,2) ◽

pp. 189-209 ◽

Cited By ~ 3

Author(s):

Brigitte Pientka ◽

Christoph Kreitz

Keyword(s):

Inductive Specification

Download Full-text

Inductive specification recovery: Understanding software by learning from example behaviors

Automated Software Engineering ◽

10.1007/bf00871824 ◽

1995 ◽

Vol 2 (2) ◽

pp. 107-129 ◽

Cited By ~ 8

Author(s):

William W. Cohen

Keyword(s):

Inductive Specification

Download Full-text

Expression ofDazlandVasain turtle embryos and ovaries: evidence for inductive specification of germ cells

Evolution & Development ◽

10.1111/j.1525-142x.2009.00360.x ◽

2009 ◽

Vol 11 (5) ◽

pp. 525-534 ◽

Cited By ~ 28

Author(s):

Rosemary F. Bachvarova ◽

Brian I. Crother ◽

Katia Manova ◽

Jodie Chatfield ◽

Christina M. Shoemaker ◽

...

Keyword(s):

Germ Cells ◽

Inductive Specification

Download Full-text

Inductive specification and axonal orientation of spinal neurons mediated by divergent bone morphogenetic protein signaling pathways

Neural Development ◽

10.1186/1749-8104-6-36 ◽

2011 ◽

Vol 6 (1) ◽

pp. 36 ◽

Cited By ~ 18

Author(s):

Jeanette C Perron ◽

Jane Dodd

Keyword(s):

Signaling Pathways ◽

Bone Morphogenetic Protein ◽

Protein Signaling ◽

Bone Morphogenetic Protein Signaling ◽

Spinal Neurons ◽

Morphogenetic Protein ◽

Inductive Specification

Download Full-text