The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Mathematical Structures in Computer Science"( http://dblp.L3S.de/Venues/Mathematical_Structures_in_Computer_Science )

URL (DBLP): http://dblp.uni-trier.de/db/journals/mscs

Publication years (Num. hits)
1991-1992 (31) 1993 (16) 1994 (17) 1995 (22) 1996 (27) 1997 (25) 1998 (21) 1999 (28) 2000 (26) 2001 (24) 2002 (33) 2003 (26) 2004 (28) 2005 (36) 2006 (50) 2007 (42) 2008 (41) 2009 (45) 2010 (47) 2011 (40) 2012 (35) 2013 (44) 2014 (54) 2015 (64) 2016 (44) 2017 (70) 2018 (58) 2019 (20)
Publication types (Num. hits)
article(1014)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1014 publication records. Showing 1014 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten Newton series, coinductively: a comparative study of composition. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe Realizability in ordered combinatory algebras with adjunction. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Hofmann, Renato Neves, Pedro Nora Limits in categories of Vietoris coalgebras. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniil Frumin, Benno van den Berg A homotopy-theoretic model of function extensionality in the effective topos. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mila Dalla Preda, Michele Pasqua Semantics-based software watermarking by abstract interpretation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuel Haucourt, Nicolas Ninin Unique decomposition of homogeneous languages and application to isothetic regions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergey Slavnov On Banach spaces of sequences and free linear logic exponential modality. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand Optimal enforcement of (timed) properties with uncontrollable events. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare Converging from branching to linear metrics on Markov chains. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergei Soloviev 0001 Automorphisms of types in certain type theories and representation of finite groups. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maribel Fernández, Hélène Kirchner, Bruno Pinaud Strategic port graph rewriting: an interactive modelling framework. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yueguo Luo, Haijun Tan, Ying Zhang, Yun Jiang The computational power of timed P systems with active membranes using promoters. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1J. Robin B. Cockett, Jean-Simon Lemay Integral categories and calculus categories. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rasmus Ejlers Møgelberg, Marco Paviotti Denotational semantics of recursive types in synthetic guarded domain theory. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Basil A. Karádais Nonflatness and totality. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1James Chapman 0001, Tarmo Uustalu, Niccolò Veltri Quotienting the delay monad by weak bisimilarity. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Delia Kesner, Daniel Ventura A resource aware semantics for a focused intuitionistic calculus. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sophia Knight, Bastien Maubert, François Schwarzentruber Reasoning about knowledge and messages in asynchronous multi-agent systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia Preface to special issue: ICTAC 2015. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Neil B. Lovett, Matthew S. Everitt, Robert M. Heath, Viv Kendon The quantum walk search algorithm: factors affecting efficiency. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel de Carvalho Execution time of λ-terms via denotational semantics and intersection types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov Autostability spectra for decidable structures. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanna D'Agostino, Alberto Marcone The logic of the reverse mathematics zoo. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Masahiro Hamano, Philip J. Scott On geometry of interaction for polarized linear logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amy P. Felty, Alberto Momigliano, Brigitte Pientka Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ichiro Hasuo, Toshiki Kataoka, Kenta Cho 0002 Coinductive predicates and final sequences in a fibration. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tristan Bice Yoneda completeness. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alonso González, Alejandro Hevia A second note on the feasibility of generalized universal composability. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Beffara Order algebras: a quantitative model of interaction. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benno van den Berg, Ieke Moerdijk W-types in homotopy-type theory - CORRIGENDUM. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto Plugging-in proof development environments using Locks in LF. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ekaterina B. Fokina Preface. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jennifer Paykin, Steve Zdancewic A linear/producer/consumer model of classical linear logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Strecker Interactive and automated proofs for graph transformations. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès, Noam Zeilberger An Isbell duality theorem for type refinement systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Ehrhard An introduction to differential linear logic: proof-nets, models and antiderivatives. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante, Florian Deloup The genus of regular languages. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yves Guiraud, Philippe Malbos Polygraphs of finite derivation type. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Reuß, Helmut Seidl Paths, tree homomorphisms and disequalities for -clauses. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès, Nicolas Tabareau, Christine Tasson An explicit formula for the free exponential modality of linear logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linda Brodo On the expressiveness of π-calculus for encoding mobile ambients. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Damiano Mazza The true concurrency of differential interaction nets. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Seiller A correspondence between maximal abelian sub-algebras and linear logic fragments. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Taus Brock-Nannestad, Nicolas Guenot Multi-focused cut elimination. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongwei Li, Li Yang A quantum algorithm to approximate the linear structures of Boolean functions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georg Struth Hoare Semigroups. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sandra Alves, Iliano Cervesato Preface to special issue: LINEARITY 2014. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri Expressing additives using multiplicatives and subexponentials. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Simon Martiel, Vincent Nesme Cellular automata over generalized Cayley graphs. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hans Zantema Finding small counterexamples for abstract rewriting properties. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lorenzo Tortora de Falco Preface. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christine Tasson, Lionel Vaux Transport of finiteness structures and applications. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Bahr Convergence in infinitary term graph rewriting systems is simple. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marat M. Arslanov Splitting and non-splitting in the difference hierarchy. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhongxi Zhang, Qingguo Li, Xiaodong Jia θ-continuity and D θ-completion of posets. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Marks The universality of polynomial time Turing equivalence. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Shulman Brouwer's fixed-point theorem in real-cohesive homotopy type theory. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay Dynamic networks of heterogeneous timed machines. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Di Giamberardino Jump from parallel to sequential proofs: exponentials. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1H. J. Sander Bruggink, Barbara König 0001 Recognizable languages of arrows and cospans. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steve Awodey Natural models of homotopy type theory. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Kerjean, Christine Tasson Mackey-complete spaces and power series - a topological model of differential linear logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Bonfante, Bruno Guillaume Non-size increasing graph rewriting for natural language processing. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Rahli, Mark Bickford Validating Brouwer's continuity principle for numbers using named exceptions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Solieri Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: a minimalist approach. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rachid Echahed Foreword: special issue on term and graph rewriting. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Oleg V. Kudinov Complexity for partial computable functions over computable Polish spaces. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Haucourt The geometry of conservative programs. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roly Perera, James Cheney Proof-relevant π-calculus: a constructive account of concurrency and causality. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Kaustuv Chaudhuri Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß Linear pattern matching of compressed terms and polynomial rewriting. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chongxia Lu, Qingguo Li Essential and density topologies on s2-continuous posets. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valery Isaev Model structures on categories of models of type theories. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Nies, Andrea Sorbi Calibrating word problems of groups via the complexity of equivalence relations. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Louis Krivine Realizability algebras III: some examples. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Cave, Brigitte Pientka Mechanizing proofs with logical relations - Kripke-style. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001, Tie Hou A realizability interpretation of Church's simple theory of types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jozef Gruska, Daowen Qiu, Shenggen Zheng Generalizations of the distributed Deutsch-Jozsa promise problem. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lankun Guo, Qingguo Li, Petko Valtchev, Yaping Lin Representation of algebraic domains by formal association rule systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean Goubault-Larrecq Isomorphism theorems between models of mixed choice. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weng Kin Ho Characterising E-projectives via Comonads. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic A rewriting framework and logic for activities subject to regulations. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yasuyuki Tsukamoto, Hideki Tsuiki Properties of domain representations of spaces through dyadic subbases. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rick Statman Taming the wild ant-lion; a counterexample to a conjecture of Böhm. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Francesco Santini 0001 On merging two trust-networks in one with bipolar preferences. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dieter Spreen Some results related to the continuity problem. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi Isomorphism of intersection and union types. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès The parametric continuation monad. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haoran Zhao, Hui Kou A stable universal domain related to $\mathbb{T}$ω. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sara Brunetti, Gennaro Cordasco, Elena Lodi, Luisa Gargano, Walter Quattrociocchi Multi-level dynamo and opinion spreading. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ugo de'Liguoro The approximation theorem for the Λμ-calculus. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniela Battaglino, Mathilde Bouvel, Andrea Frosini, Simone Rinaldi Permutation classes and polyomino classes with excluded submatrices. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arno Pauly Many-one reductions and the category of multivalued functions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wenfeng Zhang, Xiaoquan Xu A completion-invariant extension of the concept of meet continuous lattices. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gérard P. Huet, Benoît Razet Computing with relational machines. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca Essential and relational models. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Oleg V. Kudinov Computable elements and functions in effectively enumerable topological spaces. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor L. Selivanov Towards a descriptive theory of cb0-spaces. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1014 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license