1
Recent Trends in Algebraic Development Techniques [E-Book] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Logics in Artificial Intelligence [E-Book] : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings /
Table of Contents: “... for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted...”

Full text 
Favorites
Saved in:
3
Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
King, Andy
2016
Table of Contents: “... Function Specifications -- Declarative foreign function binding through generic programming -- Declarative Programming with Algebra....”

Full text 
Favorites
Saved in:
4
Programming Languages [E-Book] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
Table of Contents: “... hash tables for Haskell -- Optional Type Classes for Haskell -- An algebraic framework for parallelizing recurrence in functional Programming -- A Platform of Scientific Workows for Orchestration of Parallel Components in a Cloud of High Performance...”

Full text 
Favorites
Saved in:

Narrow Search Results