UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.
Search Articles
Science of computer programming, ISSN 0167-6423, 11/2014, Volume 93, pp. 154 - 182
Journal Article
2014, 2014, ISBN 9783642400377, Volume 9783642400384, xvii, 236
Book
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
2017, Lecture Notes in Computer Science, ISBN 9783319720432, Volume LNCS-10644
Book
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
ISSN 0302-9743, 2017, Volume 10644
Conference Proceeding
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
2004, Lecture notes in computer science, ISBN 9783540211792, Volume 2941., x, 357
Book
Information and computation, ISSN 0890-5401, 08/2015, Volume 243, pp. 205 - 221
Journal Article
2018, 1, Routledge studies in contemporary philosophy, ISBN 9781138102613, Volume 103, 368
eBook
2020, ISBN 9783030452599, 270
eBook
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
2004, ISBN 3540208542, xxv, 469
Book
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
2005, ISBN 3540210458, xi, 308
Book
Journal of logic and computation, ISSN 0955-792X, 10/2012, Volume 26, Issue 1, pp. 293 - 335
Journal Article
ACM transactions on embedded computing systems, ISSN 1539-9087, 12/2013, Volume 13, Issue 3, pp. 1 - 26
timing diagrams | Timed automata | Uppaal | timed trace inclusion | Timed trace inclusion | Timing diagrams | Computer Science, Hardware & Architecture | Computer Science, Software Engineering | Technology | Computer Science | Science & Technology | Infrared | Embedded sensors | Software | Hardware | Embedded computer systems | Sensors | Computer programs | Embedded Systems
Journal Article
2003, Lecture notes in computer science, ISBN 3540401741, Volume 2654. Lecture notes in artificial intelligence, xxii, 398
Book