sign in · help · news · about ·

BibSonomy :: author :: Litak ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(21)

<< < 1 | 2 > >>

Stone Duality for Nominal Boolean Algebras with И.
Murdoch James Gabbay, Tadeusz Litak, and Daniela Petrisan CALCO, volume 6859 of Lecture Notes in Computer Science, page 192-207. Springer, (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Some modal aspects of XPath.
Balder ten Cate, Gaëlle Fontaine, and Tadeusz Litak Journal of Applied Non-Classical Logics 20(3):139-171 (2010)
to dblp by dblp on Aug 11, 2011, 12:00 AM
URL | BibTeX
Complete axiomatizations for XPath fragments.
Balder ten Cate, Tadeusz Litak, and Maarten Marx J. Applied Logic 8(2):153-172 (2010)
to dblp by dblp on Jul 21, 2010, 3:45 PM
URL | BibTeX
Relational Lattices: An Introduction
Tadeusz Litak, Jan Hidders, and Szabolcs Mikulas (2009)
to myown relational-algebra relational-lattice by hidders on Apr 16, 2010, 9:23 PM
URL | BibTeX
On the Termination Problem for Declarative XML Message Processing.
Tadeusz Litak, and Sven Helmer DEXA, volume 5690 of Lecture Notes in Computer Science, page 83-97. Springer, (2009)
to dblp by dblp on Aug 27, 2009, 12:00 AM
URL | BibTeX
Modal Incompleteness Revisited.
Tadeusz Litak Studia Logica 76(3):329-342 (2004)
to dblp by dblp on May 29, 2009, 12:00 AM
URL | BibTeX
Nonperiodic oscillations of Pressure in a SPARK Ignition Combustion Engine.
M. Wendeker, G. Litak, J. Czarnigowski, and K. Szabelski I. J. Bifurcation and Chaos 14(5):1801-1806 (2004)
to dblp by dblp on Apr 29, 2009, 12:00 AM
URL | BibTeX
Pulsating Feedback Control for Stabilizing Unstable Periodic orbits in a Nonlinear oscillator with a Nonsymmetric Potential.
G. Litak, M. Ali, and L. M. Saha I. J. Bifurcation and Chaos 17(8):2797-2803 (2007)
to dblp by dblp on Apr 20, 2009, 12:00 AM
URL | BibTeX
Pulsive feedback control of a quarter car model forced by a road profile
G. Litak, M. Borowiec, M. Ali, L. M. Saha, and M. I. Friswell Chaos, Solitons \& Fractals 33(5):1672--1676 (August 2007)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Vibration in gear systems
Grzegorz Litak, and Michael I. Friswell Chaos, Solitons \& Fractals 16(5):795--800 (June 2003)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Patterns in the combustion process in a spark ignition engine
Grzegorz Litak, Tomasz Kaminski, Rafal Rusinek, Jacek Czarnigowski, and Miroslaw Wendeker Chaos, Solitons \& Fractals 35(3):578--585 (February 2008)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Suppression of chaos by weak resonant excitations in a non-linear oscillator with a non-symmetric potential
Grzegorz Litak, Arkadiusz Syta, and Marek Borowiec Chaos, Solitons \& Fractals 32(2):694--701 (April 2007)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Estimation of a noise level using coarse-grained entropy of experimental time series of internal pressure in a combustion engine
Grzegorz Litak, Rodolfo Taccani, Robert Radu, Krzysztof Urbanowicz, Janusz A. Holyst, Miroslaw Wendeker, and Alessandro Giadrossi Chaos, Solitons \& Fractals 23(5):1695--1701 (March 2005)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Stochastic description of the deterministic Ricker's population model
Arkadiusz Syta, and Grzegorz Litak Chaos, Solitons \& Fractals 37(1):262--268 (July 2008)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
Chaotic combustion in spark ignition engines
Miroslaw Wendeker, Jacek Czarnigowski, Grzegorz Litak, and Kazimierz Szabelski Chaos, Solitons \& Fractals 18(4):803--806 (November 2003)
to imported by smicha on Apr 22, 2008, 12:52 PM
URL | BibTeX
A Continuum of Incomplete Intermediate Logics.
Tadeusz Litak Reports on Mathematical Logic (2002)
to dblp by dblp on Jul 27, 2007, 12:00 AM
URL | BibTeX
Topological Perspective on the Hybrid Proof Rules.
Balder ten Cate, and Tadeusz Litak Electr. Notes Theor. Comput. Sci. 174(6):79-94 (2007)
to dblp by dblp on Jun 1, 2007, 12:00 AM
URL | BibTeX
Algebraization of Hybrid Logic with Binders.
Tadeusz Litak RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 281-295. Springer, (2006)
to dblp by dblp on Dec 18, 2006, 12:00 AM
URL | BibTeX
Isomorphism via translation.
Tadeusz Litak Advances in Modal Logic, page 333-351. College Publications, (2006)
to dblp by dblp on Nov 10, 2006, 12:00 AM
URL | BibTeX
On Notions of Completeness Weaker than Kripke Completeness.
Tadeusz Litak Advances in Modal Logic, page 149-169. King's College Publications, (2004)
to dblp by dblp on Mar 10, 2006, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper