Version Sequences

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


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.


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.


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