RDLProofSystem/src/main/java/inference/axioms at bc1b3eb8d0a4fa02cfcbba49e3a4a3e406a54049 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 201 commits

RDLProofSystem / src / main / java / inference / axioms /

latest commit bc1b3eb8d0 Sakoda2269 authored 18 days ago
	..
	ArgumentDependencyExtraction.java	ArgumentDependencyExtractionまで	18 days ago
	CompositeMapping.java	dependency axiom unccuried mappingまで	19 days ago
	Constantness.java	ArgumentDependencyExtractionまで	18 days ago
	MapComposition.java	ArgumentDependencyExtractionまで	18 days ago
	RedundancyElimination.java	MapComposition 途中まで	18 days ago
	RightNormalization.java	ArgumentDependencyExtractionまで	18 days ago
	RightSubstitution.java	ArgumentDependencyExtractionまで	18 days ago
	UncurriedMapping.java	dependency axiom unccuried mappingまで	19 days ago
	Uncurrying.java	ArgumentDependencyExtractionまで	18 days ago