Skip to main content
Search form
Search
Webinars
Blog
Contact
Support
PPL
eclairit.com
Toggle navigation
Eclair
Overview
Technical specification
Misra-C
MISRA C++
Bug finder
Sample reports
CerTran
Client Kit
SaaS
eclairit.com
Get a free trial
Qualification Kits
C-rusted
Industries
Automotive
Aerospace
Industrial
Railway
Medical
Agriculture & Forestry
Services
Consulting
Training
Verification Services
Technical support
Resources
Webinars
Documentation
Scientific publications
Company
About
News
Customers
Partners
Blog
Contact us
Careers
Academy
Selected Scientific Publications
Export 1 results:
BibTex
Author
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
B
[Clear All Filters]
2001
Bagnara R
,
Zaffanella E
,
Gori R
,
Hill PM
. 2001.
Boolean Functions for Finite-Tree Dependencies
.
Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001). 2250:579–594.
Google Scholar
BibTex