RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exn026
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

The Buchberger Algorithm as a Tool for Ideal Theory of Polynomial Rings in Constructive Mathematics

1998English

Bringing Programming by Demonstration to CAD Users

2001English

Bringing Care Closer to Home: How Do We Get There?

Proceedings of Singapore Healthcare
Medicine
2016English

Bringing Personalised Medicine to Mainstream Practice

Prescriber
Pharmacology
2017English

The European Citizens’ Initiative: Bringing the EU Closer to Its Citizens?

Comparative European Politics
International RelationsPolitical Science
2018English

Children With Grand Imaginaries: Bringing Them Closer to the World of Science

Comunicar
CommunicationEducationCultural Studies
2019English

Visual Tool for Generative Programming

ACM SIGSOFT Software Engineering Notes
2005English

Visual Tool for Generative Programming

2005English

Self-Monitoring Checklists: A Tool for Connecting Training to Practice

Innovations in Global Health Professions Education
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy