Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- term
- 08A05 1
- 08A40 1
- 2-potent 1
- 20M10 1
- Scala 1
- UDC 004.424 1
- declarative programming 1
- definition 1
- embedding 1
- logical programming 1
- monad 1
- object-oriented language 1
- operation 1
- relational formula 1
- semigroup 1
- stationary electric field 1
- unification 1
- voltage 1
- voltage drop 1
- УДК 004.424 1
- вбудовування 1
- декларативне програмування 1
- логічне програмування 1
- монада 1
- напряжение 1
- определение 1
- падение напряжения 1
- предметно-орієнтована мова 1
- стационарное электрическое поле 1
-
1
On the Cartesian product of the Menger algebras of terms and relational formulas
Published 2025Get full text
Article -
2
-
3
Embedding a family of logic languages with custom monadic unification in Scala
Published 2024Get full text
Article