Amanote Research

Amanote Research

    RegisterSign In

A Formalization of Polytime Functions

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-22863-6_11
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2011

Authors
Sylvain HeraudDavid Nowak
Publisher

Springer Berlin Heidelberg


Related search

A Formalization of Minimalist Syntax

Syntax
LinguisticsLanguage
2016English

A Metamodel for Collaboration Formalization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Matching Spatial Ontologies - A Challenge of Formalization

2013English

Formalization of Medical Guidelines

European Journal for Biomedical Informatics
2005English

Toward a Formalization of FrameNet in Situation Theory

International Journal of Languages, Literature and Linguistics
2016English

Computation Calculus Bridging a Formalization Gap

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formalization of Methods in Criminalistics

Law and Safety
2019English

Towards a Computational Formalization of Natural Language Semantics

1969English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy