Interpolation in practical formal development Journal Articles

authors

• Maibaum, Thomas
• Bicarregui, J

status

• published 

publication date

• March 1, 2001

has subject area

• 0101 Pure Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• General Mathematics (Science Metrix)

published in

• Logic Journal of the IGPL  Journal

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1093/jigpal/9.2.231

start page

• 231

end page

• 244

volume

• 9

issue

• 2