Public Git Hosting - algebraic-prog-equiv.git/tree

-rw-r--r--	475	E-alg.bib	blob \| blame \| history \| raw
-rw-r--r--	13327	KA-add.bib	blob \| blame \| history \| raw
-rw-r--r--	3734	KA-other.bib	blob \| blame \| history \| raw
-rw-r--r--	14081	KA.bib	blob \| blame \| history \| raw
-rw-r--r--	117	alg-books.bib	blob \| blame \| history \| raw
-rw-r--r--	3343	automata.bib	blob \| blame \| history \| raw
-rw-r--r--	169	auxil.tex	blob \| blame \| history \| raw
-rw-r--r--	1443	biblio.tex	blob \| blame \| history \| raw
-rw-r--r--	7397	conclu.tex	blob \| blame \| history \| raw
-rw-r--r--	1696	courseiv.bib	blob \| blame \| history \| raw
-rw-r--r--	8510	defs.tex	blob \| blame \| history \| raw
-rw-r--r--	2703	dmta-equiv.bib	blob \| blame \| history \| raw
-rw-r--r--	547	equiv-commut.bib	blob \| blame \| history \| raw
-rw-r--r--	1485	free-plain-det.tex	blob \| blame \| history \| raw
-rw-r--r--	22051	free-plain-multi.tex	blob \| blame \| history \| raw
-rw-r--r--	19476	free-plain-ndet.tex	blob \| blame \| history \| raw
-rw-r--r--	401	free-plain.tex	blob \| blame \| history \| raw
-rw-r--r--	72	free-withTests-det.tex	blob \| blame \| history \| raw
-rw-r--r--	104	free-withTests-multi.tex	blob \| blame \| history \| raw
-rw-r--r--	20722	free-withTests-ndet.tex	blob \| blame \| history \| raw
-rw-r--r--	300	free-withTests.tex	blob \| blame \| history \| raw
-rw-r--r--	3579	general.tex	blob \| blame \| history \| raw
-rw-r--r--	2700	hypo-plain-det.tex	blob \| blame \| history \| raw
-rw-r--r--	237	hypo-plain-multi.tex	blob \| blame \| history \| raw
-rw-r--r--	39350	hypo-plain-ndet.tex	blob \| blame \| history \| raw
-rw-r--r--	362	hypo-plain.tex	blob \| blame \| history \| raw
-rw-r--r--	13243	hypo-withTests-det.tex	blob \| blame \| history \| raw
-rw-r--r--	195	hypo-withTests-multi.tex	blob \| blame \| history \| raw
-rw-r--r--	15616	hypo-withTests-ndet.tex	blob \| blame \| history \| raw
-rw-r--r--	156	hypo-withTests.tex	blob \| blame \| history \| raw
-rw-r--r--	10027	ins-kurs4.tex	blob \| blame \| history \| raw
-rw-r--r--	50677	intro.tex	blob \| blame \| history \| raw
-rw-r--r--	1094	kf-works.bib	blob \| blame \| history \| raw
-rw-r--r--	4127	lframes-rem.tex	blob \| blame \| history \| raw
-rw-r--r--	3835	main.tex	blob \| blame \| history \| raw
-rw-r--r--	2604	misc.tex	blob \| blame \| history \| raw
-rw-r--r--	3744	multiautomata.bib	blob \| blame \| history \| raw
-rw-r--r--	511	my-more.bib	blob \| blame \| history \| raw
-rw-r--r--	3945	my.bib	blob \| blame \| history \| raw
-rw-r--r--	252	mya4m.tex	blob \| blame \| history \| raw
-rw-r--r--	6861	notations.tex	blob \| blame \| history \| raw
-rw-r--r--	4640	other.tex	blob \| blame \| history \| raw
-rw-r--r--	1762	rusaddlat.sty	blob \| blame \| history \| raw
-rw-r--r--	1297	terms.tex	blob \| blame \| history \| raw
-rw-r--r--	4308	title.jpg	blob \| blame \| history \| raw
-rw-r--r--	7460	title.png	blob \| blame \| history \| raw
-rw-r--r--	57014	title.ppm	blob \| blame \| history \| raw
-rw-r--r--	13154	title.ps.gz	blob \| blame \| history \| raw
-rw-r--r--	1199	title.tex	blob \| blame \| history \| raw
-rw-r--r--	601	uni-papers.bib	blob \| blame \| history \| raw