Advertisement

Version Sequences

Chapter
Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 25)

Abstract

Scientific research is always carried out in the context of a specific methodology or strategy, whether this is conscious or not. These methodologies guide the generation of sequences of versions in the axiomatization process. They directly affect the success and quality of the research.

Keywords

Formal Theory Input Sequence Axiom System Formal Consequence Maximal Contraction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel 2014

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringBeihang University State Key Lab. SoftwareBeijingChina

Personalised recommendations