Index of /jucs_12_11

	Name	Last modified	Size	Description
	Parent Directory		-
	verifying_real_time_properties/	2021-09-19 16:53	-
	verifying_real_time_properties.html	2021-09-16 12:57	21K
	verification_of_crwl_programs/	2021-09-19 16:56	-
	verification_of_crwl_programs.html	2021-09-16 12:57	20K
	programming_and_languages/	2021-09-19 20:05	-
	programming_and_languages.html	2021-09-16 12:57	14K
	process_equivalences_as_global/	2021-09-19 16:52	-
	process_equivalences_as_global.html	2021-09-16 12:57	21K
	operational_interpretive_unfolding_of/	2021-09-19 16:58	-
	operational_interpretive_unfolding_of.html	2021-09-16 12:57	21K
	magic_sets_for_the/	2021-09-19 20:05	-
	magic_sets_for_the.html	2021-09-16 12:57	20K
	introducing_the_itp_tool/	2021-09-19 16:56	-
	introducing_the_itp_tool.html	2021-09-16 12:57	20K
	constructive_failure_in_functional/	2021-09-19 16:54	-
	constructive_failure_in_functional.html	2021-09-16 12:57	20K
	constraint_based_methods_for/	2021-09-19 16:52	-
	constraint_based_methods_for.html	2021-09-16 12:57	20K
	an_interval_constraint_branching/	2021-09-19 16:50	-
	an_interval_constraint_branching.html	2021-09-16 12:57	20K