Result 1 to 20 of 945 total
Elements of model theory in higher-order fuzzy logic. (English)
Fuzzy Sets Syst. 205, 101-115 (2012).
1
A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions. (English)
Stud. Log. 100, No. 4, 815-853 (2012).
2
A simple proof that super-consistency implies cut elimination. (English)
Notre Dame J. Formal Logic 53, No. 4, 439-456 (2012).
3
A syntactical approach to weak omega-groupoids. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 16-30, electronic only (2012).
4
Negative inquisitiveness and alternatives-based negation. (English)
Aloni, Maria (ed.) et al., Logic, language and meaning. 18th Amsterdam colloquium, Amsterdam, The Netherlands, December 19‒21, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31481-0/pbk). Lecture Notes in Computer Science 7218, 32-41 (2012).
5
On streams that are finitely red. (English)
Log. Methods Comput. Sci. 8, No. 4, Paper No. 4, 20 p. (2012).
6
An unorthodox parametric measures of information and corresponding measures of fuzzy information. (English)
Int. J. Pure Appl. Math. 76, No. 4, 599-614 (2012).
7
Nonlinear dynamic model-based adaptive control of a solenoid-valve system. (English)
J. Control Sci. Eng. 2012, Article ID 846458, 13 p. (2012).
8
Satallax: An automatic higher-order prover. (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 111-117 (2012).
9
Software modeling language with frames and multi-abstractions: an overview. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-29349-8/pbk). Lecture Notes in Computer Science 7268. Lecture Notes in Artificial Intelligence, 564-572 (2012).
10
Constructive development of probabilistic programs. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 80-95 (2012).
11
Synthesis problem for Petri nets with localities. (English)
Jensen, Kurt (ed.) et al., Transactions on Petri nets and other models of concurrency V. Berlin: Springer (ISBN 978-3-642-29071-8/pbk). Lecture Notes in Computer Science 6900. Journal Subline, 160-180 (2012).
12
A modal type theory for formalizing trusted communications. (English)
J. Appl. Log. 10, No. 1, 92-114 (2012).
13
Reasoning about mathematical fuzzy logic and its future. (English)
Fuzzy Sets Syst. 192, 25-44 (2012).
14
A formal theory of generalized intermediate syllogisms. (English)
Fuzzy Sets Syst. 186, No. 1, 47-80 (2012).
15
The Möbius function of generalized subword order. (English)
Adv. Math. 229, No. 5, 2741-2766 (2012).
16
Unifying sets and programs via dependent types. (English)
Ann. Pure Appl. Logic 163, No. 7, 789-808 (2012).
17
On global types and multi-party sessions. (English)
Log. Methods Comput. Sci. 8, No. 1, Paper No. 24, 45 p., electronic only (2012).
18
Typing copyless message passing. (English)
Log. Methods Comput. Sci. 8, No. 1, Paper No. 17, 50 p., electronic only (2012).
19
A System F accounting for scalars. (English)
Log. Methods Comput. Sci. 8, No. 1, Paper No. 11, 32 p., electronic only (2012).
20
Result 1 to 20 of 945 total
Start
Contact
Print
General Help
