Roussanka Loukanova

From MaRDI portal
Person:2763091

Available identifiers

zbMath Open loukanova.roussankaMaRDI QIDQ2763091

List of research outcomes





PublicationDate of PublicationType
Semantics of propositional attitudes in type-theory of algorithms2024-11-12Paper
Currying order and restricted algorithmic beta-conversion in type theory of acyclic recursion2024-09-06Paper
Logic operators and quantifiers in type-theory of algorithms2024-06-21Paper
Gamma-Reduction in Type Theory of Acyclic Recursion2020-01-22Paper
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar2017-12-05Paper
Linear Context Free Languages2008-09-17Paper
https://portal.mardi4nfdi.de/entity/Q33654672006-01-23Paper
https://portal.mardi4nfdi.de/entity/Q44720902004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44720892004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q27630922002-01-14Paper

Research outcomes over time

This page was built for person: Roussanka Loukanova

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2763091&oldid=7062886"
Powered by MediaWiki