Formal analysis of 2D image processing filters using higher-order logic theorem proving
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1687-6180
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Formal analysis of 2D image processing filters using higher-order logic theorem proving ; volume:2022 ; number:1 ; day:27 ; month:6 ; year:2022 ; pages:1-18 ; date:12.2022
EURASIP journal on advances in signal processing / European Association for Speech, Signal and Image Processing ; 2022, Heft 1 (27.6.2022), 1-18, 12.2022
- Creator
-
Rashid, Adnan
Abed, Sa’ed
Hasan, Osman
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1186/s13634-022-00882-3
- URN
-
urn:nbn:de:101:1-2022081920444177058503
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Rashid, Adnan
- Abed, Sa’ed
- Hasan, Osman
- SpringerLink (Online service)
Other Objects (12)
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving
Proving classical theorems of social choice theory in modal logic
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving
Proving classical theorems of social choice theory in modal logic
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving