default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 177
Volume 177, Number 1, 2020
- Egon Börger, Klaus-Dieter Schewe:
A Behavioural Theory of Recursive Algorithms. 1-37 - Piotr Dowbor
, Yan Kim:
Computational Classification of Tubular Algebras. 39-67 - Purnata Ghosal, B. V. Raghavendra Rao:
On Proving Parameterized Size Lower Bounds for Multilinear Algebraic Models. 69-93
Volume 177, Number 2, 2020
- Rudolf Berghammer, Henning Schnoor, Michael Winter:
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. 95-113 - Gook Hwa Cho, Seongan Lim, Hyang-Sook Lee:
Algorithms for the Generalized NTRU Equations and their Storage Analysis. 115-139 - Behrouz Kheirfam:
A New Predictor-corrector Infeasible Interior-point Algorithm for Linear Optimization in aWide Neighborhood. 141-156 - Sören Laue, Matthias Mitterreiter, Joachim Giesen:
A Simple and Efficient Tensor Calculus for Machine Learning. 157-179 - Cheng-Kuan Lin, Tzu-Liang Kung, Dajin Wang, Yuan-Hsiang Teng:
The Diagnosability of (K4 - {e})-free Graphs under the PMC Diagnosis Model. 181-188 - Bin Qi, Jie Ma, Kewei Lv:
Computing Interval Discrete Logarithm Problem with Restricted Jump Method. 189-201
Volume 177, Numbers 3-4, 2020
- Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti:
Preface. - Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. 203-234 - María Alpuente, Daniel Pardo, Alicia Villanueva:
Abstract Contract Synthesis and Verification in the Symbolic K Framework. 235-273 - Manuel Bichler, Michael Morak, Stefan Woltran:
lpopt: A Rule Optimization Tool for Answer Set Programming. 275-296 - María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. 297-329 - Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi:
Dynamic Slicing for Concurrent Constraint Languages. 331-357 - Fred Mesnard, Étienne Payet, Germán Vidal:
Selective Unification in (Constraint) Logic Programming. 359-383 - Paul Tarau:
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms. 385-415
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
