Search results

Articles (6)

Journals (0)

1-6 of 6 results for membership equational logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2003-2

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

Amin Coja-Oghlan, Mark-Olivier Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2023-04-03

Assessment of fuzzy logic approach for the prediction of dynamic stability on a mass-sliding belt experiment

Akif Yavuz, Osman Taha Sen

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2005-2

Optimization of resistively loaded small loop probes by using fuzzy logic

Selcuk Comlekci

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Meeting report

First published 2022-10

Race,Merit,and the Moral Economy of International Relations

Sankaran Krishna

Millennium: Journal of International Studies