Equivalency Methods for Environmental Liability || Step 2: Determining and Quantifying Environmental Damage
- 作者Lipton, Joshua; Özdemiroğlu, Ece; Chapman, David; Peers, Jennifer
- 文件大小306.41KB
- 发表时间2018
- DOI10.1007/978-90-481-9812-2_4
- 页码57-88
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Improving Dependency PairsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Congruence Closure with Integer OffsetsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Automatic Structures of Bounded DegreeVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Is Cantor’s Theorem Automatic?Vardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Minimizing Automata on Infinite WordsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Handling Equality in Monodic Temporal ResolutionVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || A Machine-Verified Code GeneratorVardi, Moshe Y.; Voronkov, Andrei · 2003