BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
church (4)
ture (4)
project (2)
theori (2)
physic (2)

Stem thesi$ (all stems)

7 papers:

ITiCSEITiCSE-2014-HeldalSBM #communication #industrial
Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.
DLTDLT-J-2011-ArrighiD12 #physics #quantum
The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
LATALATA-2012-Dowek #automaton #formal method #physics #quantum
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
CSEETCSEET-2009-FeldtHL #evaluation #re-engineering #towards
Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation (RF, MH, FL), pp. 12–15.
CIKMCIKM-2003-BhowmickVL #integration #named
HyperThesis: the gRNA spell on the curse of bioinformatics applications integration (SSB, VV, AVL), pp. 402–409.
LICSLICS-2000-Kripke #algorithm #first-order #theorem
From the Church-Turing Thesis to the First-Order Algorithm Theorem (SK), p. 177.
Motivating the Church-Turing thesis in the twenty-first century (RGT), pp. 228–231.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.