UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.
Search Articles
Information and computation, ISSN 0890-5401, 08/2015, Volume 243, pp. 205 - 221
Journal Article
Science of computer programming, ISSN 0167-6423, 11/2014, Volume 93, pp. 154 - 182
Journal Article
Journal of logic and computation, ISSN 0955-792X, 10/2012, Volume 26, Issue 1, pp. 293 - 335
Journal Article
Theoretical computer science, ISSN 0304-3975, 2011, Volume 412, Issue 34, pp. 4405 - 4438
Narrowing | Abstraction | Induction | Weak termination | Completeness | Rewriting | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology | Miscellaneous | Combinatorics. Ordered structures | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Mathematics | Graph theory | Combinatorics | Sciences and techniques of general use | Computer science; control theory; systems | Trees | Acceptance | Computer simulation | Computation | Proving | Programming | Strategy | Construction costs | Logic in Computer Science
Journal Article
ACM transactions on mathematical software, ISSN 0098-3500, 04/2013, Volume 39, Issue 3, pp. 1 - 43
adjoint compiler | Source transformation | Adjoint compiler | Physical Sciences | Technology | Computer Science | Mathematics | Computer Science, Software Engineering | Mathematics, Applied | Science & Technology | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Software | Computer systems and distributed systems. User interface | Programming languages | Computer science; control theory; systems | Tangents (Geometry) | Algorithms | Research | Numerical differentiation | Methods | Adjoints | Modeling and Simulation | Software Engineering | Data Structures and Algorithms
Journal Article
Mathematical structures in computer science, ISSN 0960-1295, 08/2018, Volume 28, Issue 7, pp. 995 - 1060
Journal Article
Information and computation, ISSN 0890-5401, 12/2014, Volume 239, pp. 340 - 355
Parity games | Simply typed lambda-calculus | Higher-order model checking | Krivine machine | Monadic second order logic | Physical Sciences | Technology | Computer Science | Computer Science, Theory & Methods | Mathematics | Mathematics, Applied | Science & Technology | Analysis | Robots | Logic in Computer Science
Journal Article
ACM transactions on computational logic, ISSN 1529-3785, 02/2009, Volume 10, Issue 2, pp. 1 - 52
termination | induction | outermost | ordering constraint | innermost | narrowing | Abstraction | local strategy | Local strategy | Outermost | Induction | Narrowing | Termination | Ordering constraint | Innermost | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Logic in Computer Science
Journal Article
The journal of high energy physics, 05/2020, Volume 2020, Issue 5, pp. 1 - 32
Journal Article
The journal of high energy physics, ISSN 1126-6708, 3/2016, Volume 2016, Issue 3, pp. 1 - 24
Superstring Vacua | D-branes | F-Theory | Flux compactifications | Quantum Physics | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Physical Sciences | Physics, Particles & Fields | Science & Technology | Resveratrol | Supersymmetry | Breaking | Flux | Scalars | Fluxes | Gages | Gauges | Physics - High Energy Physics - Theory | Superstring Vacua; D-branes; F-Theory; Flux compactifications | Phenomenology | High Energy Physics | Nuclear and High Energy Physics | Theory | High Energy Physics - Theory
Journal Article
The journal of high energy physics, ISSN 1126-6708, 6/2018, Volume 2018, Issue 6, pp. 1 - 98
F-Theory | AdS-CFT Correspondence | Quantum Physics | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Dilatons | Supersymmetry | Coupling | Nuclear and particle physics. Atomic energy. Radioactivity | High Energy Physics - Theory | AdS-CFT Correspondence; F-Theory; High Energy Physics - Theory; High Energy Physics - Theory
Journal Article
ACM transactions on computational logic, ISSN 1529-3785, 02/2013, Volume 14, Issue 1, pp. 1 - 41
Journal Article
Acta informatica, ISSN 0001-5903, 6/2019, Volume 56, Issue 4, pp. 385 - 389
03D80 | 68Q17 | Software Engineering/Programming and Operating Systems | Theory of Computation | Information Systems and Communication Service | Data Structures and Information Theory | Computer Systems Organization and Communication Networks | Computer Science | 03D25 | 68Q60 | 03B35 | Logics and Meanings of Programs | 03D35 | Computer Science, Information Systems | Technology | Science & Technology | Studies | Computer programming | Automation | Polyhedra | Program verification (computers) | Invariants | Programming Languages | Logic in Computer Science
Journal Article
The journal of high energy physics, ISSN 1029-8479, 01/2019, Volume 37
Journal Article
The journal of high energy physics, ISSN 1126-6708, 03/2019, Volume 2019, Issue 3, pp. 1 - 25
Journal Article
International journal of computational geometry & applications, ISSN 0218-1959, 06/2014, Volume 24, Issue 2, pp. 125 - 152
Journal Article
The journal of high energy physics, ISSN 1126-6708, 9/2014, Volume 2014, Issue 9, pp. 1 - 25
Superstring Vacua | F-Theory | Quantum Physics | Differential and Algebraic Geometry | Quantum Field Theories, String Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | Keywords: F-Theory | Physical Sciences | Physics, Particles & Fields | Science & Technology
Journal Article