Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661846 | Annals of Pure and Applied Logic | 2014 | 25 Pages |
Abstract
The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Sebastian Eberhard,