Publications | Lund University Publications

41 – 50 of 54

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=subject+exact+10103&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2016
Mark Completeness for coalgebraic fixpoint logic
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2016) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic In Leibniz International Proceedings in Informatics (LIPIcs) 62. p.1-7
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps
Berkholz, Christoph and Nordström, Jakob ^LU (2016) 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 In Proceedings - Symposium on Logic in Computer Science 05-08-July-2016. p.267-276
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark n-abelian and n-exact categories
Jasso, Gustavo ^LU (2016) In Mathematische Zeitschrift 283(3-4). p.703-759
- Contribution to journal › Article
Mark Higher n-angulations from local rings
Bergh, Petter Andreas ; Jasso, Gustavo ^LU and Thaule, Marius (2016) In Journal of the London Mathematical Society 93(1). p.123-142
- Contribution to journal › Article
2015
Mark Outer Partial Actions and Partial Skew Group Rings
Nystedt, Patrik and Öinert, Johan ^LU (2015) In Canadian Journal of Mathematics 67(5). p.1144-1160
- Contribution to journal › Article
Mark Structural topology optimization of multibody systems
Ghandriz, T. ; Führer, C. ^LU and Elmqvist, H. (2015) 2015 ECCOMAS Thematic Conference on Multibody Dynamics, Multibody Dynamics 2015 p.828-838
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Reduction of τ-tilting modules and torsion pairs
Jasso, Gustavo ^LU (2015) In International Mathematics Research Notices 2015(16). p.7190-7237
- Contribution to journal › Article
Mark τ²-stable tilting complexes over weighted projective lines
Jasso, Gustavo ^LU (2015) In Advances in Mathematics 273. p.1-31
- Contribution to journal › Article
2014
Mark From small space to small width in resolution
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2014) 31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014 In Leibniz International Proceedings in Informatics, LIPIcs 25. p.300-311
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark On tau-tilting theory and higher Auslander-Reiten theory
Jasso, Gustavo ^LU (2014)
- Thesis › Doctoral thesis (compilation)

your query:: Remove subject: Algebra and Logic