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

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

1 2 3 ... 41 42 43 next

  1. Bird, Richard; Gibbons, Jeremy: Algorithm design with Haskell (2020)
  2. Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig: Doo bee doo bee doo (2020)
  3. Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
  4. Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir: Leveraging compiler intermediate representation for multi- and cross-language verification (2020)
  5. Kaposi, Ambrus; Kovács, András: Signatures and induction principles for higher inductive-inductive types (2020)
  6. Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
  7. Kutz, Yunus; Schmidt-Schauß, Manfred: Rewriting with generalized nominal unification (2020)
  8. Lukšič, Žiga; Pretnar, Matija: Local algebraic effect theories (2020)
  9. Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon: Practical synthesis of reactive systems from LTL specifications via parity games (2020)
  10. Miranda-Perea, Favio E.; González Huesca, Lourdes del Carmen; Linares-Arévalo, P. Selene: Interactive proof-search for equational reasoning (2020)
  11. Perez, Ivan; Goodloe, Alwyn E.: Fault-tolerant functional reactive programming (extended version) (2020)
  12. Wildon, Mark: Permutation groups containing a regular abelian subgroup: the tangled history of two mistakes of Burnside (2020)
  13. Bendkowski, Maciej; Bodini, Olivier; Dovgal, Sergey: Statistical properties of lambda terms (2019)
  14. Bendkowski, Maciej; Lescanne, Pierre: On the enumeration of closures and environments with an application to random generation (2019)
  15. Ciobanu, Gabriel; Todoran, Eneia Nicolae: A semantic investigation of spiking neural P systems (2019)
  16. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Strategic port graph rewriting: an interactive modelling framework (2019)
  17. Ghica, Dan R.; Alyahya, Khulood: Latent semantic analysis of game models using LSTM (2019)
  18. Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris: Chromar, a language of parameterised agents (2019)
  19. Lochbihler, Andreas: Effect polymorphism in higher-order logic (proof pearl) (2019)
  20. McIver, A. K.; Morgan, C. C.; Rabehaja, T.: Program algebra for quantitative information flow (2019)

1 2 3 ... 41 42 43 next