1 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|