Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gábor Alagi
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cycle-Oriented Approach to Building a Model of Production Costs
BIO Web of Conferences
New Approach to Building a Competency Model for Library Professionals
Proceedings of SPSTL SB RAS
A Software Engineering Approach to Ontology Building
Information Systems
Hardware
Information Systems
Architecture
Software
Integrated Biophysical Approach to Fragment Screening and Validation for Fragment-Based Lead Discovery
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
A Method for Qualitative Model Building With Object-Oriented Approach
Transactions of the Institute of Systems, Control and Information Engineers
A Distributed and Scalable Approach to Building Monitoring
An Alternative Approach to Building Construction: Natural Building Techniques
European Journal of Sustainable Development
A Flexible Tool for Model Building: The Relevant Transformation of the Inputs Network Approach (RETINA)*
Oxford Bulletin of Economics and Statistics
Economics
Probability
Uncertainty
Econometrics
Statistics
Social Sciences
