×

Found 165 Documents (Results 1–100)

100
MathJax

Preassociative aggregation functions. (English) Zbl 1415.68236

Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 327-334 (2014).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Strictly strong \((n-1)\)-equilibrium in \(n\)-person multicriteria games. (English) Zbl 1347.91011

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 181-190 (2014).
MSC:  91A06 91A10
PDF BibTeX XML Cite
Full Text: MNR

Comparing theories: the dynamics of changing vocabulary. (English) Zbl 1344.03009

Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 143-172 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Entropy of capacity. (English) Zbl 1310.28014

Torra, Vicenç (ed.) et al., Non-additive measures. Theory and applications. Proceedings of the 9th international conference on modeling decisions for artificial intelligence, MDAI 2012, Girona, Spain, November 21–23, 2012. Cham: Springer (ISBN 978-3-319-03154-5/hbk; 978-3-319-03155-2/ebook). Studies in Fuzziness and Soft Computing 310, 79-95 (2014).
MSC:  28E10 26E50
PDF BibTeX XML Cite
Full Text: DOI

Constructing the Lindenbaum algebra for a logic step-by-step using duality. (English) Zbl 1298.03067

De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012).
MSC:  03B45 03G25 06E25
PDF BibTeX XML Cite

Refinement quantified logics of knowledge. (English) Zbl 1347.03024

van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 85-98 (2011).
PDF BibTeX XML Cite
Full Text: DOI

PREG axiomatizer – a ground bisimilarity checker for GSOS with predicates. (English) Zbl 1344.68199

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 378-385 (2011).
MSC:  68T15 68Q55 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

On arithmetic computations with hereditarily finite sets, functions and types. (English) Zbl 1286.68063

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 367-381 (2010).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Complete axiomatizations of MSO, FO(TC\(^{1} )\) and FO(LFP\(^{1} )\) on finite trees. (English) Zbl 1211.03049

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 180-196 (2009).
MSC:  03B70 03C07
PDF BibTeX XML Cite
Full Text: DOI Link

Impossibility results in the equational logic of processes. (English) Zbl 1276.68117

Corradini, Flavio (ed.) et al., Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20–22, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 169, 3-6 (2007).
PDF BibTeX XML Cite
Full Text: Link

Probabilistic I/O automata: theories of two equivalences. (English) Zbl 1151.68554

Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 343-357 (2006).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Axiomatizations of hyperbolic and absolute geometries. (English) Zbl 1106.51008

Prékopa, András et al., Non-Euclidean geometries. János Bolyai memorial volume. Papers from the international conference on hyperbolic geometry, Budapest, Hungary, July 6–12, 2002. New York, NY: Springer (ISBN 0-387-29554-2/hbk; 0-387-29555-0/e-book). Mathematics and its Applications (Springer) 581, 119-153 (2006).
MSC:  51M10 51Fxx 51-02
PDF BibTeX XML Cite

Axiomatizing tropical semirings. (English) Zbl 0978.16045

Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 42-56 (2001).
PDF BibTeX XML Cite
Full Text: Link

A Cook’s tour of equational axiomatizations for prefix iteration. (English) Zbl 0901.03027

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998).
MSC:  03B70 68Q55
PDF BibTeX XML Cite

Representation of finite ordinal data in real vector spaces. (English) Zbl 0896.62001

Bock, Hans-Hermann (ed.) et al., Data analysis and information systems. Statistical and conceptual approaches. Proceedings of the 19th annual conference of the Gesellschaft für Klassifikation e.V., Basel, Switzerland, March 8–10, 1995. Berlin: Springer. Studies in Classification, Data Analysis, and Knowledge Organization. 228-240 (1996).
MSC:  62-07 15A03
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software