Index of /jucs_3_4

	Name	Last modified	Size	Description
	Parent Directory		-
	a_structured_presentation_of.html	2021-09-16 13:11	20K
	a_structured_presentation_of/	2021-09-19 05:23	-
	formalizing_database.html	2021-09-16 13:11	19K
	formalizing_database/	2021-09-19 05:22	-
	gurevich_abstract_state_machines.html	2021-09-16 13:11	19K
	gurevich_abstract_state_machines/	2021-09-19 05:22	-
	introduction.html	2021-09-16 13:11	14K
	introduction/	2021-09-19 18:24	-
	linear_time_hierarchy.html	2021-09-16 13:11	18K
	linear_time_hierarchy/	2021-09-19 05:21	-
	reasoning_about_abstract_state.html	2021-09-16 13:11	19K
	reasoning_about_abstract_state/	2021-09-19 05:23	-
	recursiv_abstract.html	2021-09-16 13:11	19K
	recursiv_abstract/	2021-09-19 18:24	-
	shortest_path_problem.html	2021-09-16 13:11	19K
	shortest_path_problem/	2021-09-19 05:22	-