GitHub - jonathan-laurent/TQL-Paper

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
kappa-diagrams		kappa-diagrams
wnt		wnt
.gitignore		.gitignore
Makefile		Makefile
algo.tex		algo.tex
conclusion.tex		conclusion.tex
draft.tex		draft.tex
expressions.tex		expressions.tex
llncs.cls		llncs.cls
macros.tex		macros.tex
main.bib		main.bib
main.tex		main.tex
related-works.tex		related-works.tex
semantics.tex		semantics.tex
splncs04.bst		splncs04.bst
toy-model.tex		toy-model.tex
use-case-appendix.tex		use-case-appendix.tex
use-case.tex		use-case.tex
wnt-query.tex		wnt-query.tex

Provide feedback