The following pages link to Baltasar Trancon Y. Widemann (Q351991):
Displaying 12 items.
- Documenting and verifying systems assembled from components (Q351992) (← links)
- (Q890379) (redirect page) (← links)
- Algebraic-coalgebraic recursion theory of history-dependent dynamical system models (Q890381) (← links)
- Applications of Algebra and Coalgebra in Scientific Modelling (Q2919452) (← links)
- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra (Q2942784) (← links)
- Algebraic–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models (Q2942785) (← links)
- Distributive-Law Semantics for Cellular Automata and Agent-Based Models (Q3090879) (← links)
- (Q4437076) (← links)
- (Q4473503) (← links)
- (Q4995166) (← links)
- A Simple and Efficient Step Towards Type-Correct XSLT Transformations (Q5277890) (← links)
- V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (Q5423545) (← links)
