1. Home

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Item hits:
Issue DateTitleAuthor(s)TypeAccess Type
2007Behavioural reasoning for conditional equationsMartins, Manuel A.; Pigozzi, D.articleopenAccess
2007Closure properties for the class of behavioral modelsMartins, Manuel A.articleopenAccess
2008Automatic structures for semigroup constructionsAndrade, I.; Descalço, L.; Martins, Manuel A.articleopenAccess
2010Admissible equivalence systemsBabenyshev, Sergey; Martins, Manuel A.articleopenAccess
2003Some applications of propositional calculusManfredini, Enrique H.; Martins, Manuel A.articleopenAccess
2005On the injectivity of the Leibniz operatorDescalço, L.; Martins, Manuel A.articleopenAccess
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L.S.articlerestrictedAccess
2011Hybrid specification of reactive systems: An institutional approachMadeira, A.; Faria, J.M.; Martins, Manuel A.; Barbosa, L.S.bookPartrestrictedAccess
2009Behavioral algebraization of logicsCaleiro, C.; Gonçalves, R.; Martins, Manuel A.articlerestrictedAccess
2008On the behavioral equivalence between k-data structuresMartins, Manuel A.articlerestrictedAccess
Results 1-10 of 23 (Search time: 0.004 seconds).

Discover