References in zbMATH (referenced in 733 articles , 3 standard articles )

Showing results 1 to 20 of 733.
Sorted by year (citations)

1 2 3 ... 35 36 37 next

  1. Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
  2. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  3. Odabaş, Alper; Soylu Yilmaz, Elis: Relationships between category theory and functional programming with an application (2019)
  4. van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil: Executable component-based semantics (2019)
  5. Abdallah, Samer: PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (2018)
  6. Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo: The Verigraph system for graph transformation (2018)
  7. Bessai, Jan; Chen, Tzu-Chun; Dudenhefner, Andrej; Düdder, Boris; De’liguoro, Ugo; Rehof, Jakob: Mixin composition synthesis based on intersection types (2018)
  8. Ishii, Hiromi: A purely functional computer algebra system embedded in Haskell (2018)
  9. Joudrier, Hugo; Thiard, Florence: A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014 (2018)
  10. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (2018)
  11. Melham, Tom: Symbolic trajectory evaluation (2018)
  12. Pedersen, Jan B.; Welch, Peter H.: The symbiosis of concurrency and verification: teaching and case studies (2018)
  13. Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun: A secrecy-preserving language for distributed and object-oriented systems (2018)
  14. Sestini, Filippo; Crafa, Silvia: Proof search in a context-sensitive logic for molecular biology (2018)
  15. Steffen, Bernhard; Rüthing, Oliver; Huth, Michael: Mathematical foundations of advanced informatics. Volume 1. Inductive approaches (2018)
  16. Wildon, Mark: A generalized SXP rule proved by bijections and involutions (2018)
  17. Zhao, Jinxu; Oliveira, Bruno C. d. S.; Schrijvers, Tom: Formalization of a polymorphic subtyping algorithm (2018)
  18. Abel, Andreas; Adelsberger, Stephan; Setzer, Anton: Interactive programming in Agda -- objects and graphical user interfaces (2017)
  19. Ahman, Danel; Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil: Dijkstra monads for free (2017)
  20. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)

1 2 3 ... 35 36 37 next