Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030025076, 9783030025083
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symbolic Computation via Program Transformation

2018 ◽  
pp. 313-332 ◽  
Author(s):  
Henrich Lauko ◽  
Petr Ročkai ◽  
Jiří Barnat
Keyword(s):  
Symbolic Computation ◽  
Program Transformation

Double Applicative Functors

2018 ◽  
pp. 333-353 ◽  
Author(s):  
Härmel Nestra

Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

2018 ◽  
pp. 273-291 ◽  
Author(s):  
Martin Jonáš ◽  
Jan Strejček
Keyword(s):  
Smt Solvers ◽  
Bit Vector

scholarly journals Fast Computations on Ordered Nominal Sets

2018 ◽  
pp. 493-512
Author(s):  
David Venhoek ◽  
Joshua Moerman ◽  
Jurriaan Rot
Keyword(s):  
Nominal Sets

scholarly journals Explicit Auditing

2018 ◽  
pp. 376-395
Author(s):  
Wilmer Ricciotti ◽  
James Cheney

Information Flow Certificates

2018 ◽  
pp. 435-454
Author(s):  
Manuel Töws ◽  
Heike Wehrheim
Keyword(s):  
Information Flow

scholarly journals Monoidal Multiplexing

2018 ◽  
pp. 116-131
Author(s):  
Apiwat Chantawibul ◽  
Paweł Sobociński

Checking Modal Contracts for Virtually Timed Ambients

2018 ◽  
pp. 252-272 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Martin Steffen ◽  
Johanna Beate Stumpf ◽  
Lars Tveito
Load More ...
Sign in / Sign up

Export Citation Format

Share Document